Items related to Interactive Theorem Proving and Program Development:...

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Softcover

Bertot, Yves; Castéran, Pierre

 
9783662079652: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Softcover
ISBN 10: 3662079658 ISBN 13: 9783662079652
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2014
  • ISBN 10 3662079658
  • ISBN 13 9783662079652
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540208549: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Featured Edition

ISBN 10:  3540208542 ISBN 13:  9783540208549
Publisher: Springer, 2004
Hardcover