|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | From Semantics to Computer Science: Essays in Honour of Gilles Kahn | Bertot, Yves | Hardcover | 0521518253 /
9780521518253 | 10/2009 | $130.15 |
|  | From Semantics to Computer Science: Essays in Honour of Gilles Kahn | Bertot, Yves | Open Ebook | 0511770529 /
9780511770524 | 08/2010 | $140.25 |
|  | Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. an Eatcs) | Bertot, Yves | Paperback | 3642058809 /
9783642058806 | 12/2010 | $85.49 |
|  | Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions 2004 Edition (Texts in Theoretical Computer Science. an Eatcs) | Bertot, Yves | Hardcover | 3540208542 /
9783540208549 | 05/2004 | $113.99 |
|  | Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science,) | Bertot, Yves | Paperback | 3540664637 /
9783540664635 | 09/1999 | $52.24 |
|
|
|