€ 81,24
NASA Formal Methods — 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. An English-language digital edition by Sanjai Rayadurgam (Editor); Oksana Tkachuk (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 proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in…
Catalogue preview, eBooks.com
| Author | Sanjai Rayadurgam (Editor); Oksana Tkachuk (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319406473, 9783319406480 |
| Format | |
| Publication date | June 03, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.