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 |
|
$63.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Virtual, Augmented and Mixed Reality
$119.99
The Middle East and Palestine
$54.99
Submerged Cultural Resource Management
$109.99
Der Mensch und Sein Werk 1.Band Jehuda Halevi Fnfundneunzig Hymnen und Gedichte Deutsch und Hebris
$129.00
Edmund Burke and International Relations
$169.99
Rom - Paris - London
$109.00
Composites from the Aquatic Environment
$169.99
Sensualities/Textualities and Technologies
$54.99
Bearing Gifts to Greeks
$54.99
Comprehensive Models of Autism Spectrum Disorder Treatment
$69.99
Intelligent Information and Database Systems
$39.99
Information Systems in the WWW Environment
$119.00
Physik und Chemie der Grenzflchen
$59.99
Transcription Factors
$329.99
Psychologisches Konfliktmanagement
$17.99
Identifikation von Bndelinitiatoren
$64.99
Derivatisierung, Computerisierung und Wettbewerb
$69.99
Electricity
$15.99
Thyroid Autoimmunity
$39.99
Proceedings of the Indian Structural Steel Conference 2020 (Vol. 1)
$229.00
Kompetenzmanagement in der Praxis
$54.99
Map Functions
$179.99
Peroxisomes
$229.00
Innovation Strategy and Firm Performance
$39.99
Negotiating multiple identities
$54.99
Investition und Besteuerung
$69.95
Functional Dyspepsia
$159.99
Condition Monitoring Using Computational Intelligence Methods
$109.99
Advances in Engineering Research and Application
$219.00
China und Sdostasien in Geschichte und Gegenwart
$84.99
Statistik mit R fr Nicht-Mathematiker
$17.99
Verlauf psychischer Erkrankungen in der Bevlkerung
$54.99
Understanding the Biological Basis of Behavior
$79.99
Luxusmarkenmanagement
$89.99
Moderne Energiesysteme ein Beitrag zur Energiewende
$34.99
Typografie
$9.99
Das Bild des Abendlandes in den altrussischen Chroniken
$59.99
Zur interkommunalen Handhabung des Zinsrisikos
$74.99
Boundary Integral Equations on Contours with Peaks
$159.00
Critique of Digitality
$32.99
