Related Books
Language: en
Pages: 492
Pages: 492
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i
Language: en
Pages: 437
Pages: 437
Type: BOOK - Published: 2013-12-06 - Publisher: MIT Press
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati
Language: en
Pages: 572
Pages: 572
Type: BOOK - Published: 2014-06-28 - Publisher: Springer
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic,
Language: en
Pages: 505
Pages: 505
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic fo
Language: en
Pages: 550
Pages: 550
Type: BOOK - Published: 2017-09-04 - Publisher: Springer
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in Septem
