Interactive Theorem Proving and Program Development
Product Description
Interactive Theorem Proving and Program Development
- Used Book in Good Condition
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.
Technical Specifications
You might also like
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
The Little Typer (The MIT Press)
The Reasoned Schemer (MIT Press) (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 Haskell
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Practical TLA+: Planning Driven Development
An Invitation to Applied Category Theory: Seven Sketches in Compositionality