€ 62,49
Verified Software: Theories, Tools, and Experiments — 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers. An English-language digital edition by Arie Gurfinkel (Editor); Sanjit A. Seshia (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 volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015,…
Catalogue preview, eBooks.com
| Author | Arie Gurfinkel (Editor); Sanjit A. Seshia (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319296128, 9783319296135 |
| Format | |
| Publication date | February 12, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.