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
Methode zur Bewertung der Ermdungsfestigkeit von reibdauerbeanspruchten Systemen
$69.99
The Belt and Road Initiative Green Development Case Studies Report 2020
$59.99
Wissensmanagement in Dienstleistungsnetzwerken
$74.99
Drugs Easily Explained
$24.99
Nachhaltiges Personalmanagement in der Pflege - Das 5-Sulen Konzept
$74.99
Risk Control and Quality Management in Neurosurgery
$169.99
Lexikon der Luftfahrt
$84.99
Unflle beim Pferdesport
$69.99
New Developments in Ophthalmology Nijmegen 1618 October 1975
$54.99
MRI of the Body
$84.99
Die Europische Union als rechtlich-institutioneller Akteur im System der Vereinten Nationen
$159.00
Integrationsprozesse von Kindern in multikulturellen Gesellschaften
$49.99
A Midnight Clear
$4.88
EAI International Conference on Technology, Innovation, Entrepreneurship and Education
$169.99
Musik in Baden-Wrttemberg. Jahrbuch 2023/24
$79.99
Abenteuer Informatik
$24.99
Meeting the Challenge of Social Problems via Agent-Based Simulation
$54.99
Sinister Aesthetics
$109.99
Physics of the Expanding Universe
$74.99
Approaching Business Models from an Economic Perspective II
$84.99
Webster's Spanish-English Dictionary for Students Classroom Set
$109.00
Dilemmas in ERCP
$89.00
The Pharmacology of Taste
$169.99
Anker und Ankerungen zur Stabilisierung des Gebirges
$44.99
Disturbances in the linear model, estimation and hypothesis testing
$54.99
Weiterentwicklung der Produktion
$69.99
Trendberichte zum Controlling
$99.00
Inflation Targeting in MENA Countries
$54.99
Electrodeposition of Nanostructured Materials
$99.00
Die Wirkungen von Bonusprogrammnetzwerken auf das Cross-Buying-Verhalten
$79.99
Anton Marty and Contemporary Philosophy
$99.99
Sternglaube und Sterndeutung
$74.99
Aluminium Structural Design
$109.99
Hacking Europe
$84.99
Schulverwaltung. Abt. 2 (Hhere Schulen, Fachschulen, Fortbildungsschulen, Beuthschule), Turnwesen
$59.99
Commitment and Complicity in Cultural Theory and Practice
$54.99
Die langfristige Stahlnachfrage in der Bundesrepublik
$59.99
Marian Devotion Among the Roma in Slovakia
$59.99
Translational Oral Health Research
$109.99
Hhere Mathematik fr Naturwissenschaftler und Ingenieure
$69.99
