€ 62,49
Critical Systems: Formal Methods and Automated Verification — Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. An English-language digital edition by Maurice H. ter Beek (Editor); Stefania Gnesi (Editor); Alexander Knapp (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 Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th…
Catalogue preview, eBooks.com
| Author | Maurice H. ter Beek (Editor); Stefania Gnesi (Editor); Alexander Knapp (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319459424, 9783319459431 |
| Format | |
| Publication date | September 12, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.