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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bobaru, Mihaela (Editor ), Havelund, Klaus (Editor ), Holzmann, Gerard (Editor ), Joshi, Rajeev (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Programming and Software Engineering, 6617
Temas:
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.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares