€ 62,49
Automated Technology for Verification and Analysis — 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. An English-language digital edition by Cyrille Artho (Editor); Axel Legay (Editor); Doron Peled (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 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba,…
Catalogue preview, eBooks.com
| Author | Cyrille Artho (Editor); Axel Legay (Editor); Doron Peled (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319465197, 9783319465203 |
| Format | |
| Publication date | October 07, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.