€ 58,74
Formal Methods for Industrial Critical Systems — 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. An English-language digital edition by Manuel Núñez (Editor); Matthias Güdemann (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 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in…
Catalogue preview, eBooks.com
| Author | Manuel Núñez (Editor); Matthias Güdemann (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319194578, 9783319194585 |
| Format | |
| Publication date | May 11, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.