This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
| ISBN: | 9783319431437 |
| Publication date: | 7th August 2016 |
| Author: | Jasmin Christian Blanchette |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 502 pages |
| Series: | Theoretical Computer Science and General Issues |
| Genres: |
Mathematical theory of computation Algorithms and data structures Software Engineering Systems analysis and design Computer modelling and simulation |
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
Interactive Theorem Proving features in the following genres: Mathematical theory of computation, Algorithms and data structures, Software Engineering, Systems analysis and design, Computer modelling and simulation
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Interactive Theorem Proving was written by Jasmin Christian Blanchette and published by Springer International Publishing AG
Interactive Theorem Proving has 502 pages
Yes it is part of Theoretical Computer Science and General Issues series
£40.49, reduced from £44.99. Not Available.