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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Badger, Julia M. (Éditeur intellectuel), Rozier, Kristin Yvonne (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Cham : Springer International Publishing : Imprint: Springer, 2014.
Édition:1st ed. 2014.
Collection:Programming and Software Engineering, 8430
Sujets:
Software engineering.
Compilers (Computer programs).
Operating systems (Computers).
Computer science.
Computer programming.
Software Engineering.
Compilers and Interpreters.
Operating Systems.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires