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.)
Bok Engelsk 2004 Communication and Software Systems International School on Formal Methods for the Design of Computer
Utgitt | Berlin : Springer , c2004
|
---|---|
Omfang | VI, 293 s. : ill.
|
Emner | |
ISBN | 3540230688
|