Description: NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.).

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Formal methods (Computer science) Fault-tolerant computing Computer software System analysis Operating systems (Computers) Electronic Data Processing Computer Science. Software Engineering. Programming Languages, Compilers, Interpreters. Operating Systems. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Programming Techniques. Méthodes formelles (Informatique) Tolérance aux fautes (Informatique) Logiciels Analyse de systèmes Informatique. Systèmes d'exploitation (Ordinateurs) computer science. data processing. operating systems. Computer science. Software engineering. Logic design. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Tags:	Add Tag No Tags, Be the first to tag this record!