Publication

2015 - Springer London, Limited

Language

English

Word Count

114,500 words, Guess

Page Count

458 pages

Identifiers

  • Open LibraryOL34520771M
  • ISBN-139783319175249
  • ISBN-103319175246
  • Better World Books9783319175249

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, ProceedingsSpringer London, Limited2015-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!