The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by KlausHavelund (Editor), Mihaela Bobaru (Editor), Gerard Holzmann (Editor), RajeevJoshi (Editor)

  • New

    Paperback 2011

    $105.47
Synopsis

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.

$105.47

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 536
 Edition: 1st Edition.
 Publisher: Springer
Published: 06 Apr 2011
ISBN 10: 3642203973
ISBN 13: 9783642203978