Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Interactive

von Yves Bertot

Taschenbuch

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

ISBN-10: 3-642-05880-9

Springer Berlin Heidelberg · 2010
S. auch:
2004Gebundene AusgabeInteractive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)