Peter Bartke

Informatik
Coq’Art: The Calculus of Inductive Constructions

Peter Hubwieser

Informatik - Lehrwerk für Gymnasien
Coq’Art: The Calculus of Inductive Constructions

Peter Hubwieser

Informatik - Lehrwerk für Gymnasien
Coq’Art: The Calculus of Inductive Constructions

Peter Hubwieser

Informatik - Lehrwerk für Gymnasien
Coq’Art: The Calculus of Inductive Constructions

[Anonymus AC06795466]

Informatik - Lehrwerk für Gymnasien
Coq’Art: The Calculus of Inductive Constructions

Hubwieser, Peter

Informatik 1 (Objekte und Klassen, Internet, Datenschutz, Algorithmen). Ausgabe Bayern
Coq’Art: The Calculus of Inductive Constructions

Cremers, Armin B.

Informatik 2005 - Informatik LIVE! ; 19. - 22. September 2005 in Bonn
Coq’Art: The Calculus of Inductive Constructions

Cremers, Armin B.

Informatik 2005 - Informatik LIVE! ; 19. - 22. September 2005 in Bonn
Coq’Art: The Calculus of Inductive Constructions

Robert Switzer

Informatik ; 1 Informatik I : Wintersemester 1992/93
Coq’Art: The Calculus of Inductive Constructions

Robert Switzer

Informatik ; 2 Informatik II : Sommersemester 1993
Coq’Art: The Calculus of Inductive Constructions

Eckart Modrow

Informatik mit Delphi
Coq’Art: The Calculus of Inductive Constructions

Peter Rechenberg

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

Yves Bertot

Pierre Castéran

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.

pages

508

Year published

2004

Publisher

Springer Science & Business Media

Issn

3-540-20854-2

Language

IfI-Bib

catalogue of the computer science department library