€ 62,49
Model Checking Software — 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. An English-language digital edition by Bernd Fischer (Editor); Jaco Geldenhuys (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 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa,…
Catalogue preview, eBooks.com
| Author | Bernd Fischer (Editor); Jaco Geldenhuys (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319234038, 9783319234045 |
| Format | |
| Publication date | August 26, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.