|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/052/9780521518253.jpg&wmax=80&hmax=80) | From Semantics to Computer Science: Essays in Honour of Gilles Kahn | Bertot, Yves | Hardcover | 0521518253 / 9780521518253 | 10/2009 | $130.15 |
| ![](thumb.php?src=products/051/9780511770524.jpg&wmax=80&hmax=80) | From Semantics to Computer Science: Essays in Honour of Gilles Kahn | Bertot, Yves | Open Ebook | 0511770529 / 9780511770524 | 08/2010 | $140.25 |
| ![](thumb.php?src=products/364/9783642058806.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/354/9783540208549.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/354/9783540664635.jpg&wmax=80&hmax=80) | 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 |
|
|
|