☰

Interactive Theorem Proving and Program Development

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.
Country USA
Brand Springer
Manufacturer Springer
Binding Hardcover
ItemPartNumber 12634777
ReleaseDate 2004-05-14
UnitCount 1
EANs 9783540208549

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)

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