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

von: Yves Bertot · Pierre Castéran Gebunden Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) ISBN: 978-3-540-20854-9 ISBN-10: 3-540-20854-2 Springer · 2004