Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference NFM (Symposium) (3rd : 2011 : Pasadena, Calif.)
Title NASA formal methods : third International Symposium, NFM 2011; Pasadena, CA, USA, April 18-20, 2011; proceedings / Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.).
Alternative Title NFM 2011
Publication Info Heidelberg : Springer ; [2011]



Descript xiv, 534 pages : illustrations ; 24 cm.
ISBN 9783642203978
Click on the terms below to find similar items in the catalogue
Conference NFM (Symposium) (3rd : 2011 : Pasadena, Calif.)
Series Lecture Notes in Computer Science ; 6617
Subject Formal methods (Computer science) -- Congresses.
Fault-tolerant computing -- Congresses.
Computer software -- Verification -- Congresses.
System analysis -- Congresses.
Alt author Bobaru, Mihaela.
Alternative Title NFM 2011
Descript xiv, 534 pages : illustrations ; 24 cm.
ISBN 9783642203978
Conference NFM (Symposium) (3rd : 2011 : Pasadena, Calif.)
Series Lecture Notes in Computer Science ; 6617
Subject Formal methods (Computer science) -- Congresses.
Fault-tolerant computing -- Congresses.
Computer software -- Verification -- Congresses.
System analysis -- Congresses.
Alt author Bobaru, Mihaela.
Alternative Title NFM 2011

Subject Formal methods (Computer science) -- Congresses.
Fault-tolerant computing -- Congresses.
Computer software -- Verification -- Congresses.
System analysis -- Congresses.
Descript xiv, 534 pages : illustrations ; 24 cm.
Alt author Bobaru, Mihaela.
ISBN 9783642203978

Links and services for this item: