Cover Image

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /

This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The to...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Badger, Julia M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Rozier, Kristin Yvonne. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Programming and Software Engineering ; 8430
Subjects:
Software engineering.
Programming languages (Electronic computers).
Operating systems (Computers).
Computer logic.
Computer programming.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Online Access:https://doi.org/10.1007/978-3-319-06200-6
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/978-3-319-06200-6

Similar Items