Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development
Author :
Publisher : Springer Science & Business Media
Total Pages : 492
Release :
ISBN-10 : 9783662079645
ISBN-13 : 366207964X
Rating : 4/5 (64X Downloads)
GET BOOK
Book Synopsis Interactive Theorem Proving and Program Development by : Yves Bertot

Download or read book Interactive Theorem Proving and Program Development written by Yves Bertot and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.


Interactive Theorem Proving and Program Development Related Books

Interactive Theorem Proving and Program Development
Language: en
Pages: 492

Interactive Theorem Proving and Program Development

Authors: Yves Bertot
Categories: Mathematics
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

GET EBOOK

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 599

Logic for Programming, Artificial Intelligence, and Reasoning

Authors: Miki Hermann
Categories: Computers
Type: BOOK - Published: 2006-10-23 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006,
Certified Programming with Dependent Types
Language: en
Pages: 437

Certified Programming with Dependent Types

Authors: Adam Chlipala
Categories: Computers
Type: BOOK - Published: 2013-12-06 - Publisher: MIT Press

GET EBOOK

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati
Interactive Theorem Proving
Language: en
Pages: 505

Interactive Theorem Proving

Authors: Matt Kaufmann
Categories: Computers
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media

GET EBOOK

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
Symbolic Logic and Mechanical Theorem Proving
Language: en
Pages: 349

Symbolic Logic and Mechanical Theorem Proving

Authors: Chin-Liang Chang
Categories: Mathematics
Type: BOOK - Published: 2014-06-28 - Publisher: Academic Press

GET EBOOK

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three ma