Interactive Theorem Proving and Program Development;
Interactive Theorem Proving and Program Development

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 so...

Buy Now From Amazon

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.



  • Used Book in Good Condition
  • Used Book in Good Condition

Similar Products

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)The Little Typer (The MIT Press)Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)Types and Programming Languages (The MIT Press)Programming in HaskellNatural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)