10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Interactive Theorem Proving

View All Editions

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Interactive Theorem Proving Synopsis

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

About This Edition

ISBN: 9783319661063
Publication date: 21st August 2017
Author: Mauricio Ayala-Rincon
Publisher: Springer International Publishing AG
Format: Paperback
Pagination: 532 pages
Series: Theoretical Computer Science and General Issues
Genres: Mathematical theory of computation
Computer architecture and logic design
Systems analysis and design
Software Engineering
Programming and scripting languages: general
Compilers and interpreters
Artificial intelligence
Robotics