€ 112,49
Computer Aided Verification — 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings. An English-language digital edition by Natasha Sharygina (Editor); Helmut Veith (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.
Computer Aided Verification — 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings. An English-language digital edition by Natasha Sharygina (Editor); Helmut Veith (Editor), available in PDF.
| Author | Natasha Sharygina (Editor); Helmut Veith (Editor) |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Language | English |
| ISBN | 9783642397981, 9783642397998 |
| Format | |
| Publication date | July 11, 2013 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.