Formal methods for the design of real-time systems

Loading edition detail...

Preparing this view.

Formal methods for the design of real-time systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th 2004 Bertinoro, Italy)

Bookitis Pick

Formal methods for the design of real-time systemsInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th 2004 Bertinoro, Italy)

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th 2004 Bertinoro, Italy)Published 2004

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer
Pages	293
Search language	english
ISBN_10	3-540-23068-8 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

Formal methods for the design o...
FM
Formal methods for the design of real-time systems
Springer | 2004