Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Interactive Theorem Proving and Program Development
Best Price (Coupon Required):
Buy Interactive Theorem Proving and Program Development for $63.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$63.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Anaesthesie und Notfallmedizin
$59.99
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, In
$99.99
Jumbo Book of Toddler Fun
$8.24
Geschlecht und Mnnlichkeit
$59.99
Ergodic Theory and Statistical Mechanics
$19.99
Beginning JavaScript Charts
$39.99
Economics of Water Resources: From Regulation to Privatization
$129.00
Studium Generale Quantenphysik
$59.99
Organofluorine Chemistry
$259.00
Quantum Nano-Photonics
$109.99
Decommissioning Offshore Structures
$129.00
Personal Comfort Systems for Improving Indoor Thermal Comfort and Air Quality
$159.99
Vorlesungen ber hhere Mathematik
$59.99
The Basics of Aggregates
$99.99
Network Simulation and Evaluation
$129.00
Literary Meaning
$59.99
Banken-Rating
$69.99
Strategies and Applications in Quantum Chemistry
$39.99
Misclassification of Smoking Habits and Passive Smoking
$109.99
Theorie kollektiver Entscheidungen
$59.99
Hernia Surgery
$199.99
Neuropsychologische Therapie mit Kindern und Jugendlichen
$69.99
Irregularities in the Distribution of Prime Numbers
$99.99
AI-generated Content
$84.99
Waldbeschdigungen durch Thiere und Gegenmittel
$59.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Adverse Childhood Experiences
$49.99
Liberation, (De)Coloniality, and Liturgical Practices
$99.00
Die Gesetze des Wasser- und Luftwiderstandes
$79.99
Inter-Regional Relations and the Asia-Europe Meeting (ASEM)
$129.99
Reiben und Senken
$59.99
Chemistry of Powder Production
$379.99
Patch-Based Techniques in Medical Imaging
$39.99
Contours of Feminist Political Ecology
$59.99
The Application of Lake Sediments for Climate Studies
$39.99
Das richtige Fhrungsverstndnis
$29.99
Surgery in Solitary Kidney and Corrections of Urinary Transport Disturbances
$109.99
From Crime Policy to Victim Policy
$79.99
Osmoprotectant-Mediated Abiotic Stress Tolerance in Plants
$169.99
My Books Summer Grade 3 Nonfiction - Classroom Set
$795.00
