Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Interactive Theorem Proving and Program Development

Coq´Art: The Calculus of Inductive Constructions
BuchGebunden
CHF119.00

Beschreibung

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.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-540-20854-9
ProduktartBuch
EinbandGebunden
Erscheinungsdatum14.05.2004
ReiheTexts in Theoretical Computer Science. An EATCS Series
Seiten472 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 32 mm
Gewicht1940 g
IllustrationenXXV, 472 p. 1 illus., schwarz-weiss Illustrationen
Artikel-Nr.2482838
KatalogBuchzentrum
Datenquelle-Nr.8394671
Weitere Details

Reihe

Autor

Schlagworte

BZ
Architecture, Computer
B
Computation ~ Theory of Computation
Computer System Implementation
Computer architecture & logic design
Computer logic
Computer programming
Computer programming / software engineering
Computer, Architecture
Engineering ~ Software Engineering
Engineering ~ Software Engineering/Programming and Operating Systems
Foundations ~ Mathematical Logic and Foundations
Implementation ~ Computer System Implementation
Logic ~ Mathematical Logic and Foundations
Logics and Meanings of Programs
Mathematical Logic and Foundations
Mathematical logic
Meanings ~ Logics and Meanings of Programs
Operating systems
Operating ~ Software Engineering/Programming and Operating Systems
Programming Techniques
Programming ~ Software Engineering/Programming and Operating Systems
Programs ~ Logics and Meanings of Programs
Software Engineering
Software Engineering/Programming and Operating Systems
System ~ Computer System Implementation
Systems analysis & design
Systems ~ Software Engineering/Programming and Operating Systems
Techniques ~ Programming Techniques
Theory of Computation
analysis ~ Systems analysis & design
and ~ Logics and Meanings of Programs
and ~ Mathematical Logic and Foundations
and ~ Software Engineering/Programming and Operating Systems
architecture ~ Computer architecture & logic design
computer science
design ~ Computer architecture & logic design
design ~ Systems analysis & design
engineering ~ Computer programming / software engineering
logic ~ Computer architecture & logic design
logic ~ Computer logic
logic ~ Mathematical logic
programming ~ Computer programming
programming ~ Computer programming / software engineering
science ~ computer science
software ~ Computer programming / software engineering
systems ~ Operating systems
THEMA Hauptschlagwort
VLB Haupt-Lesemotiv