€ 62,49
NASA Formal Methods — 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. An English-language digital edition by Klaus Havelund (Editor); Gerard Holzmann (Editor); Rajeev Joshi (Editor), available in PDF.
Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA,…
Catalogue preview, eBooks.com
| Author | Klaus Havelund (Editor); Gerard Holzmann (Editor); Rajeev Joshi (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319175232, 9783319175249 |
| Format | |
| Publication date | April 07, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.