NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and sele...

Full description

Saved in:
Bibliographic Details
Corporate Authors: NFM (Symposium) Pasadena, Calif.), SpringerLink (Online service)
Other Authors: Bobaru, Mihaela
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2011.
Berlin ; New York : [2011]
Series:Lecture notes in computer science ; 6617.
LNCS sublibrary. Programming and software engineering.
Physical Description:
1 online resource (xiv, 534 pages) : illustrations.
Subjects:
Formal methods (Computer science) -- Congresses.
Fault-tolerant computing -- Congresses.
Computer software -- Verification -- Congresses.
System analysis -- Congresses.
programmeren.
programming.
computerwetenschappen.
computer sciences.
software engineering.
programmeertalen.
programming languages.
operating systems.
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items