Montant total (1 article articles) :
Destination de la commande :
interactive theorem proving program de bertot yves (26 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (26)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (16)
- Comme neuf, Très bon ou Bon (6)
- Assez bon ou satisfaisant (4)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (7)
- Sans impressions à la demande (21)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Interactive Theorem Proving and Program Development: CoqâArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSEdité par Springer (edition Softcover reprint of hardcover 1st ed. 2004), 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Langue: anglais
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,74
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Softcover reprint of hardcover 1st ed. 2004.
-
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSEdité par Springer Berlin / Heidelberg, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Langue: anglais
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,79
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Goodwill Southern California, Los Angeles, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,54
EUR 2,59 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good.
-
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 44,40
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Eve's Book Garden, Albany, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,61
EUR 5,17 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSEdité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Langue: anglais
Vendeur : Homeless Books, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 50
EUR 19,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Wie neu. The book is in very good condition and does not appear to have been read. Only very minor shelf wear to the cover. Language: English. Ships from Berlin.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 86,64
EUR 2,28 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 85,45
EUR 3,44 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 87,18
EUR 13,68 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In English.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 87,17
EUR 17,13 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 107,09
EUR 3,66 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : new.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 113,27
EUR 3,44 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 117,31
EUR 3,44 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 500.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : BennettBooksLtd, San Diego, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 116,33
EUR 5,99 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : New. In shrink wrap. Looks like an interesting title!
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 123,83
EUR 7,42 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 500 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 122,46
EUR 13,68 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In English.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 159,46
EUR 3,44 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 504.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 155,23
EUR 17,13 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 145,83
EUR 28,55 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 177,25
EUR 2,28 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 205,81
EUR 28,55 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSEdité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Langue: anglais
EUR 72,89
EUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 124,94
EUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 500.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSEdité par Springer Berlin Heidelberg, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Langue: anglais
EUR 98,54
EUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 168,95
EUR 7,42 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 504 Illus.
-
Interactive Theorem Proving and Program Development
Livre 37 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 171,72
EUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 504.
