€ 62,49
Automated Technology for Verification and Analysis — 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. An English-language digital edition by Bernd Finkbeiner (Editor); Geguang Pu (Editor); Lijun Zhang (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 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai,…
Catalogue preview, eBooks.com
| Author | Bernd Finkbeiner (Editor); Geguang Pu (Editor); Lijun Zhang (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319249520, 9783319249537 |
| Format | |
| Publication date | October 07, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.