Produkt
KlappentextCoq 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.
Zusammenfassung
First book providing the theoretical foundations
A broad spectrum of applications of the theorem proving system Coq
Includes supplementary material: sn.pub/extras
First book providing the theoretical foundations
A broad spectrum of applications of the theorem proving system Coq
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-540-20854-9
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2004
Erscheinungsdatum14.05.2004
Seiten472 Seiten
SpracheEnglisch
Gewicht948 g
IllustrationenXXV, 472 p. 1 illus.
Artikel-Nr.10577326
Rubriken