€ 62,49
Interactive Theorem Proving — 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. An English-language digital edition by Jasmin Christian Blanchette (Editor); Stephan Merz (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 refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in…
Catalogue preview, eBooks.com
| Author | Jasmin Christian Blanchette (Editor); Stephan Merz (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319431437, 9783319431444 |
| Format | |
| Publication date | August 08, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.