€ 62,49
Computer Aided Verification — 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. An English-language digital edition by Daniel Kroening (Editor); Corina S. Păsăreanu (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.
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV…
Catalogue preview, eBooks.com
| Author | Daniel Kroening (Editor); Corina S. Păsăreanu (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319216676, 9783319216683 |
| Format | |
| Publication date | July 13, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.