€ 62,49
Verification, Model Checking, and Abstract Interpretation — 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. An English-language digital edition by Barbara Jobstmann (Editor); K. Rustan M. Leino (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 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in…
Catalogue preview, eBooks.com
| Author | Barbara Jobstmann (Editor); K. Rustan M. Leino (Editor) |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Language | English |
| ISBN | 9783662491218, 9783662491225 |
| Format | |
| Publication date | December 29, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.