Limit this search to....

  (5 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
From Semantics to Computer Science: Essays in Honour of Gilles KahnBertot, YvesHardcover0521518253 /
9780521518253
10/2009$130.15
From Semantics to Computer Science: Essays in Honour of Gilles KahnBertot, YvesOpen Ebook0511770529 /
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, YvesPaperback3642058809 /
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, YvesHardcover3540208542 /
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, YvesPaperback3540664637 /
9783540664635
09/1999$52.24
  (5 items found)