• Education & Business Solutions Opens in new window
Cover image: NASA Formal Methods 1st edition 9783642203978

NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

1st Edition

  • Author(s) Mihaela Bobaru; ‎Klaus Havelund; ‎Gerard Holzmann
  • Publisher Published by Springer Copyright © 2011
  • "ISBN-13 9783642203978"
  • Format Fixed Layout

eBook

eTextbook License
‌
₹1,786.38 INR
‌
‌

  • Study Tools

    Built-in study tools like highlights and more

  • Read Aloud

    Listen and follow along as Bookshelf reads to you

  • Offline Access

    Access your eTextbook anytime and anywhere

  • Global Search

    Search across book content, figures, and your workbook

Learn More

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings 1st Edition is written by Mihaela Bobaru; ‎Klaus Havelund; ‎Gerard Holzmann and published by Springer. The Digital and eTextbook ISBNs for NASA Formal Methods are 9783642203985, 3642203981 and the print ISBNs are 9783642203978, 3642203973. Save up to 80% versus print by going digital with VitalSource.

Back to Top