2004 | Buch

# Interactive Theorem Proving and Program Development

## Coq’Art: The Calculus of Inductive Constructions

Buchreihe: Texts in Theoretical Computer Science. An EATCS Series

Autoren: Dr. Yves Bertot, Dr. Pierre Castéran

Verlag: Springer Berlin Heidelberg

Print ISBN: 978-3-642-05880-6

Electronic ISBN: 978-3-662-07964-5

Enthalten in: Professional Book Archive