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
From Leaders to Rulers
$169.99
Der Praxiswunsch Lehramtsstudierender revisited
$74.99
Wings of Fire-The Dragonet Prophecy: The Hidden Kingdom
$6.74
Growing Old in the Future
$169.99
Mathematik ist wunderwunderschn
$19.99
Privacy Preservation in IoT: Machine Learning Approaches
$59.99
Weitere Kniffe und Programme mit dem ZX Spectrum
$49.99
Grundlagen der Halbleiterphysik
$34.99
Vox Humana Craftsmanship
$129.99
Konflikt und Streit
$19.99
Image Technology Design
$169.99
A Primer on Determinism
$329.99
Die stumme Myokardischmie
$69.99
Examining Neurocritical Patients
$169.99
Biomedical Applications of Natural Proteins
$54.99
Performance and Management of Complex Communication Networks
$129.00
Approaching Infinity
$119.99
Detection of Corona Discharge in Electric Networks
$139.00
Strukturelle Entwicklungsmuster in Markt- und Planwirtschaften
$59.99
Wireless Positioning: Principles and Practice
$199.99
Advances in Web Intelligence
$39.99
Handbook of Osteopathic Technique
$109.00
Mechanisms of Systemic Regulation: AcidBase Regulation, Ion-Transfer and Metabolism
$84.99
Fuel Tank Sloshing Simulation Using the Finite Volume Method
$39.99
Agents and Data Mining Interaction
$39.99
The Leavises on Fiction
$14.99
How We Talk to Each Other - The Messages We Send With Our Words and Body Language
$29.99
Nachhaltigkeit messbar machen
$19.99
Cancer, Complexity, Computation
$139.00
Social Trends in Contemporary Russia
$54.99
Intuition und fachliches Lernen
$64.99
Modern Clinical Molecular Techniques
$169.00
Atome Molekle Kerne
$69.99
Security Education and Critical Infrastructures
$109.99
Explaining White-Collar Crime
$59.99
Biomedical Signals and Sensors I
$139.00
Chinese Consumers and the Fashion Market
$199.99
Pretend You're Mine by Lucy Score
$18.99
Botanischer Unterricht in 150 Lectionen
$49.99
Money and Banking
$129.00
