Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions.. Cet article n’est pas disponible.

Bertot, Yves:

29 évaluations par Goodreads

Langue : anglais

Edité par Berlin, Springer, 2004

3540208542 / 9783540208549

Série : Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS

  • Livre relié
  • Occasion
Afficher toutes les informations

Vendeur : Antiquariat Bookfarm, Löbnitz, AllemagneAntiquariat Bookfarm

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 28 octobre 2009

Afficher les articles de ce vendeur
Indisponible
Livre relié

Etat: Occasion - Assez bon

EUR 44,13

Cet article n’est plus disponible.
Afficher des articles similairesCréer une demande de livres pour des articles similaires

A propos de cet article

XXV, 469 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16168 9783540208549 Sprache: Englisch Gewicht in Gramm: 930.

N° de réf. du vendeur 2546709

Signaler cet article
Titre
Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions.
Auteur
Bertot, Yves:
Éditeur
Berlin, Springer
Année de publication
2004
État de l'article
Gut
Reliure
Hardcover
Langue
anglais
ISBN à 10 chiffres
3540208542
ISBN à 13 chiffres
9783540208549
Poids de l'article
930 grammes
Série
Livre 37 sur 45: Texts in Theoretical Computer Science. An EATCS
Catalogues du vendeur
AA Varia

Résultats de recherche pour Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions.

Il reste 5 exemplaires de ce livre.Afficher tous les résultats