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 / 
 SRM-RT 2004 
Marco Bernardo, Flavio Corradini (eds.). 
 - Berlin ;  New York :  Springer,  c2004. 
 - vi, 293 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science ;  Tutorial.  3185 .
 - Lecture notes in computer science ; Lecture notes in computer science ; .
<br/><br/><label>ISBN: </label>3540230688 (softcover : alk. paper) 
<br/><br/><label>LCCN: </label>2004111362 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software<br/>Computer systems<br/>Formal methods (Computer science) EBOOK<br/>Real-time data processing
<br/><br/><label>Dewey Class. No.: </label>004.33