The book is currently out of stock
Book purchase
NASA Formal Methods, Klaus Havelund
- Language
- Released
- 2015
We’ll notify you via email once we track it down.
Payment methods
- Title
- NASA Formal Methods
- Language
- English
- Authors
- Klaus Havelund
- Publisher
- Springer-Verlag GmbH
- Released
- 2015
- Format
- Paperback
- ISBN10
- 3319175238
- ISBN13
- 9783319175232
- Category
- Technology / Engineering, Computers, IT, Programming