Alles von 4 Yves Bertot auf Taschenbuch und Gebundenes Buch
Kategorien
Andere
Kundenservice
CHF
Auf Lager bei iMusic
Nicht verfügbare Artikel anzeigen
![Cover for Yves Bertot · Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of hardcover 1st ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/806/9783642058806.jpg?yves-bertot-2010-interactive-theorem-proving-and-program-development-coq-art-the-calculus-of-inductive-constructions-texts-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1405919921)
![Cover for Yves Bertot · Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series (Gebundenes Buch) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/549/9783540208549.jpg?yves-bertot-2004-interactive-theorem-proving-and-program-development-coq-art-the-calculus-of-inductive-constructions-texts-in-theoretical-computer-science-an-eatcs-series-gebundenes-buch&class=scaled&v=1520597417)
![Cover for Yves Bertot · Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/635/9783540664635.jpg?yves-bertot-1999-theorem-proving-in-higher-order-logics-12th-international-conference-tphols-99-nice-france-september-14-17-1999-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1545086810)