Informatik 2005 - Informatik LIVE! ; 19. - 22. September 2005 in Bonn
Coq’Art: The Calculus of Inductive Constructions
Informatik 2005 - Informatik LIVE! ; 19. - 22. September 2005 in Bonn
Coq’Art: The Calculus of Inductive Constructions
Informatik ; 1 Informatik I : Wintersemester 1992/93
Coq’Art: The Calculus of Inductive Constructions
Informatik ; 2 Informatik II : Sommersemester 1993
Coq’Art: The Calculus of Inductive Constructions
Informatik mit Delphi
Coq’Art: The Calculus of Inductive Constructions
Informatik-Handbuch
Coq’Art: The Calculus of Inductive Constructions
Informatiktage 2002
Coq’Art: The Calculus of Inductive Constructions
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
description
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.
read more
pages
508
Year published
2004
Publisher
Springer Science & Business Media
Issn
3-540-20854-2
Language
en