Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
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
  (2 items found)