Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures Marco Bernardo, Flavio Corradini (eds.)

By:

Contributor(s):

Publication details: Berlin Springer c2004Description: vi, 293 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	004.33 BER (Browse shelf(Opens below))	Available		263805

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map