Yves bertot u a (3 Ergebnisse)
- Softcover
Anbieter: Studibuch, Stuttgart, DeutschlandStudibuch
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 7,99
EUR 62,30 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
paperback. Zustand: Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.
Weitere BilderSprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,05
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Yves Bertot (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xxv | Englisch | 2010 | Springer | EAN 9783642058806 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Weitere Bilder- Hardcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 207,60
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Buch. Zustand: Neu. From Semantics to Computer Science | Yves Bertot (u. a.) | Buch | Gebunden | Englisch | 2009 | Cambridge University Press | EAN 9780521518253 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…
