Interactive Theorem Proving and Program Development
Bertot, Yves
Verkauft von GoldBooks, Denver, CO, USA
AbeBooks-Verkäufer seit 15. Mai 2019
Neu - Hardcover
Zustand: Neu
Anzahl: 1 verfügbar
In den Warenkorb legenVerkauft von GoldBooks, Denver, CO, USA
AbeBooks-Verkäufer seit 15. Mai 2019
Zustand: Neu
Anzahl: 1 verfügbar
In den Warenkorb legenBestandsnummer des Verkäufers 44K55_70_3540208542
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.
We ship from Colorado, U.S.A!
Bestellmenge | 7 bis 12 Werktage | 4 bis 6 Werktage |
---|---|---|
Erster Artikel | EUR 3.66 | EUR 12.91 |
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.