Copied Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$69.99 | $69.99 |
|
$69.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Socio-economic Systems: Paradigms for the Future
$169.99
The Judgement of the Eye
$49.99
Neugeborenenintensivmedizin
$29.99
ICT Education
$54.99
Middleware 2013
$54.99
China and Global Capitalism
$54.99
Software-Ergonomie 99
$69.99
Seniorenwirtschaft
$89.99
Collaborative Computing: Networking, Applications and Worksharing
$54.99
Smart Technologies for Energy, Environment and Sustainable Development
$219.99
Die Kfer Mitteleuropas, Bd. L3: Polyphaga 2
$179.99
Handbook of Immunochemistry
$39.99
Multimediale Kioskterminals
$69.99
Methods in Neuroethological Research
$169.99
The Biblical Accommodation Debate in Germany
$19.99
Der It-Kalkl
$39.99
The Creative Gesture
$32.99
Traffic and Granular Flow ' 05
$109.00
National Geographic Kids Readers: Hoot, Owl!
$3.71
Gewsserschutz- und Hochwasserschutzrecht
$59.99
Titanosaur: Discovering the World's Largest Dinosaur (Hardcover)
$14.24
Programming Languages and Systems
$54.99
Flexible Montage von Leitungsstzen mit Industrierobotern
$84.99
Eine erweiterte Methode zur Korrektur von Interferenzeffekten in Freistrahlwindkanlen fr Automobil
$64.99
Problems of Modern Quantum Field Theory
$109.99
Techniques in Molecular Medicine
$84.99
Transformation of Transportation
$109.99
Artificial Intelligence in Dentistry
$129.00
Mathematics for Chemists
$39.99
Babies on the Move: Reach, Reach, Baby!
$5.21
Coming Up Cuban (Hardcover)
$14.24
Einfhrung in die Praktische Pharmazie fr Apothekerpraktikanten
$34.99
Planungstechniken
$59.99
Practical Textbook of Cardiac CT and MRI
$84.99
Foundations of Intelligent Systems
$39.99
Modernism and Nostalgia
$54.99
Comparative Genomics
$54.99
Einfhrung in die Mikrokonomik
$39.99
Particle Confinement in Penning Traps
$169.99
Neue alte Ungleichheiten
$69.99
