![]() |
von Yves BertotTaschenbuch Details (Deutschland) Details (United States) Details (Großbritannien) ISBN-13: 978-3-642-05880-6 ISBN-10: 3-642-05880-9 Springer Berlin Heidelberg · 2010 |
S. auch: | ||
2004 | Gebundene Ausgabe | Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) |