Articles liés à Interactive Theorem Proving and Program Development:...

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

Bertot, Yves; Castéran, Pierre

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

L'édition de cet ISBN n'est malheureusement plus disponible.

  • ÉditeurSpringer
  • Date d'édition2014
  • ISBN 10 3662079658
  • ISBN 13 9783662079652
  • ReliurePaperback
  • Langueanglais

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783540208549: Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions

Edition présentée

ISBN 10 :  3540208542 ISBN 13 :  9783540208549
Editeur : Springer-Verlag Berlin and Heide..., 2004
Couverture rigide