€ 62,49
FM 2015: Formal Methods — 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. An English-language digital edition by Nikolaj Bjørner (Editor); Frank de Boer (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 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June…
Catalogue preview, eBooks.com
| Author | Nikolaj Bjørner (Editor); Frank de Boer (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319192482, 9783319192499 |
| Format | |
| Publication date | May 23, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.