€ 62,49
Interactive Theorem Proving — 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. An English-language digital edition by Christian Urban (Editor); Xingyuan 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 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August…
Catalogue preview, eBooks.com
| Author | Christian Urban (Editor); Xingyuan Zhang (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319221014, 9783319221021 |
| Format | |
| Publication date | August 18, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.