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)
DOWNLOAD EBOOK
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

DOWNLOAD EBOOK

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i
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

DOWNLOAD 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

DOWNLOAD 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
Type-Driven Development with Idris
Language: en
Pages: 744

Type-Driven Development with Idris

Authors: Edwin Brady
Categories: Computers
Type: BOOK - Published: 2017-03-13 - Publisher: Simon and Schuster

DOWNLOAD EBOOK

Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking
Interactive Theorem Proving
Language: en
Pages: 572

Interactive Theorem Proving

Authors: Gerwin Klein
Categories: Mathematics
Type: BOOK - Published: 2014-06-28 - Publisher: Springer

DOWNLOAD EBOOK

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,