Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming
Cover of the book Interactive Theorem Proving by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319661070
Publisher: Springer International Publishing Publication: September 4, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319661070
Publisher: Springer International Publishing
Publication: September 4, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Iran’s Nuclear Program by
Cover of the book Environmental Change in the Himalayan Region by
Cover of the book Teaching and Researching the Pronunciation of English by
Cover of the book Computer Safety, Reliability, and Security by
Cover of the book Transactions on Pattern Languages of Programming IV by
Cover of the book Young Adolescent Engagement in Learning by
Cover of the book Modelling and Simulation for Autonomous Systems by
Cover of the book Performance Analysis of Computer Networks by
Cover of the book Cognitive Radio Oriented Wireless Networks by
Cover of the book Climate Change Adaptation in Latin America by
Cover of the book The Role of Halogens in Terrestrial and Extraterrestrial Geochemical Processes by
Cover of the book Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part IV by
Cover of the book New International Frontiers in Child Sexual Abuse by
Cover of the book Service Systems by
Cover of the book The Sea Floor by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy