Yves Bertot U A (3 results)
- Softcover
Seller: Studibuch, Stuttgart, GermanyStudibuch
Contact seller5-star sellerCondition: Used - Very good
US$ 8.09
US$ 70.02 shippingShips from Germany to U.S.A.Quantity: 1 available
paperback. Condition: Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.
More imagesLanguage: English
Published by Springer, 2010
Series: Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 94.69
US$ 78.67 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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.…
More images- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 240.32
US$ 78.67 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: 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.…
