Order Total (1 Item Items):
Shipping Destination:
Casteran Pierre (31 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (31)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (17)
- As New, Fine or Near Fine (10)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (20)
- Not Print on Demand (26)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Goodwill Southern California, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: good.
-
Softcover. Condition: Bon. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Chercher fortune en Nouvelle-France
Language: French
Published by Libre Expression (Editions), 2007
ISBN 10: 276480301X ISBN 13: 9782764803011
Hardcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2007. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2007. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Plon livre récit , Etat : bon broché 24*15,5 242 ----------> Pour bénéficier du tarif de livraison le plus avantageux, pour la France et certains pays d'Europe, les livres seront expédiés par Mondial Relay. Merci de m'indiquer un point relais Mondial Relay lors de votre commande.
-
Rayon : Civilisation Editeur : Libre Expression Date de parution : 2007 Description : In-4, 208 pages, relié entoilé avec jaquette parfaite, occasion, très bon état. IMPORTANT : Pour les envois internationaux, il est préférable de vous renseigner avant de passer commande. Les envois se font uniquement en point relais MONDIAL RELAY ou INPOST pour les pays suivants : Allemagne, Autriche, Belgique, Espagne, Italie, Luxembourg, Pays-Bas, Pologne, et Portugal. Merci de nous indiquer en retour le point relais choisi ainsi que votre numéro de téléphone mobile pour assurer le suivi du colis. ATTENTION : Les expéditions de plus de 2 kilos se voient appliquer un supplément de port. Envois quotidiens du mardi au samedi. Les livres sont envoyés sous enveloppe bulles. Les frais de ports comprennent les frais d'affranchissements et d'emballage. Librairie Le Piano-Livre. Merci. Référence catalogue vendeur: X20792.
-
-
-
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 74.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
L'Afrique déboussolée
Published by Plon, 1978
Seller: Librairie Lire et Chiner, Colmar, ALSAC, France
Seller rating 4 out of 5 stars
Condition: TBE. Paris, br.; in-8, 243 pp.
-
-
-
Condition: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
-
L'Afrique déboussolée.
Published by Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Couverture souple. Condition: bon. R100065829: 1978. In-8. Broché. Etat d'usage, Coins frottés, Dos plié, Intérieur frais. 242 pages - quelques cartes en noir et blanc hors texte en fin d'ouvrage. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
-
Interactive Theorem Proving and Program Development
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 104.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
Interactive Theorem Proving and Program Development
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.
-
Interactive Theorem Proving and Program Development : Coq¿Art: The Calculus of Inductive Constructions
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 131.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
-
Interactive Theorem Proving and Program Development
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2004, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.
-
Condition: As New. Unread book in perfect condition.
-
Interactive Theorem Proving and Program Development : Coq¿Art: The Calculus of Inductive Constructions
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
-
L'Afrique déboussolée suivi d'un reportage de Gabriel Garcia Marquez "opération Charlotte".
Published by Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Couverture souple. Condition: bon. RO20248530: 1978. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 242 pages. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
-
L'AFRIQUE DEBOUSSOLEE
Published by PLON, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Couverture souple. Condition: bon. R160018667: 1978. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 242 pages. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
-
L'afrique deboussolee. suivi d'un reportage de g. garcia marquez "opération charlotte"
Published by Plon, 1978
Condition: Good. Envoi rapide Bon Etat. in8. 1978. Broché. 242 pages. Good.
-
Interactive Theorem Proving and Program Development
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. 500 pp. Englisch.
-
Interactive Theorem Proving and Program Development
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Condition: 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
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg Mai 2004, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. 500 pp. Englisch.
-
Interactive Theorem Proving and Program Development
Book 37 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Gebunden. Condition: 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.
