An edition of NASA Formal Methods (2011)

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

NASA Formal Methods

Klaus Havelund, Gerard Holzman ...

Locate

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

October 5, 2021 | History

Edit

An edition of NASA Formal Methods (2011)

This edition doesn't have a description yet. Can you add one?

Publish Date

2015

Publisher

Springer London, Limited

Language

English

Pages

458

Check nearby libraries

Buy this book

Edition	Availability
1 NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings 2022, Springer International Publishing AG in English 303106772X 9783031067723	zzzz Locate
2 NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings 2015, Springer London, Limited in English 3319175246 9783319175249	aaaa Locate
3 NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings Apr 09, 2015, Springer paperback 3319175238 9783319175232	zzzz Locate
4 NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings 2011, Springer in English 3642203981 9783642203985	zzzz Locate