Interactive Theorem Proving and Program Development
Yves Bertot
Verkauft von PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
AbeBooks-Verkäufer seit 11. Juni 1999
Neu - Hardcover
Zustand: Neu
Anzahl: 5 verfügbar
In den Warenkorb legenVerkauft von PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
AbeBooks-Verkäufer seit 11. Juni 1999
Zustand: Neu
Anzahl: 5 verfügbar
In den Warenkorb legenNew Book. Shipped from UK. Established seller since 2000.
Bestandsnummer des Verkäufers S0-9783540208549
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Returns Policy
We ask all customers to contact us for authorisation should they wish to return their order. Orders returned without authorisation may not be credited.
If you wish to return, please contact us within 14 days of receiving your order to obtain authorisation.
Returns requested beyond this time will not be authorised.
Our team will provide full instructions on how to return your order and once received our returns department will process your refund.
Please note the cost to return any...
Orders are shipped from our UK warehouse. Delivery thereafter is between 4 and 14 business days. Please contact us if you have any queries about our services or products.
| Bestellmenge | 10 bis 17 Werktage | 10 bis 17 Werktage |
|---|---|---|
| Erster Artikel | EUR 6.69 | EUR 6.71 |
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.