Casteran Pierre (25 results)
Published by Plon
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
Original price: £ 3.06; 10% offCurrent price: £ 2.76
£ 14.08 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. 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.
- Hardcover
Seller: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contact seller5-star sellerCondition: Used
£ 9.29
£ 14.95 shippingShips from Canada to U.S.A.Quantity: 1 available
Couverture rigide. Condition: Bonne Condition. Couverture et jaquette légèrement usée. Intérieur propre. Envoi soigné.
Published by Plon, 1978
Seller: crealivres, la fontennelle, Francecrealivres
Contact seller5-star sellerCondition: Used - Good
£ 12.30
£ 11.94 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Envoi rapide Bon Etat. in8. 1978. Broché. 242 pages. Good.
Language: English
Published by Springer, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Goodwill Southern California, Los Angeles, CA, U.S.A.Goodwill Southern California
Contact seller5-star sellerCondition: Used - Good
£ 47.54
£ 2.24 shippingShips within U.S.A.Quantity: 1 available
Condition: good.
Language: English
Published by Springer, 2004
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Good
£ 42.03
£ 8.53 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Chercher fortune en nouvelle France Hardy, Jean-Pierre and Casteran, Nicole
Chercher fortune en nouvelle France Hardy, Jean-Pierre and Casteran, Nicole
- Hardcover
Seller: Aragon Books Canada, OTTAWA, ON, CanadaAragon Books Canada
Contact seller3-star sellerCondition: New
£ 33.88
£ 17.20 shippingShips from Canada to U.S.A.Quantity: 1 available
Condition: New.
- Hardcover
Seller: LE PIANO-LIVRE, QUIMPER, FranceLE PIANO-LIVRE
Contact seller5-star sellerCondition: Used
£ 17.58
£ 33.27 shippingShips from France to U.S.A.Quantity: 1 available
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, merci de vous renseigner avant de passer commande. Les envois se font uniquement en point relais MONDIAL RELAY ou INPOST… pour les pays suivants : 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 nationales de plus de 2 kilos et les expéditions internationales de plus de 1 kilo 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
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Language: English
Published by Springer, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 73.69
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Language: English
Published by Springer, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 88.12
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Published by Plon, 1978
- Softcover
Seller: Librairie Lire et Chiner, colmar, ALSAC, FranceLibrairie Lire et Chiner
Contact seller4-star sellerCondition: Used - Fine
£ 10.55
£ 39.25 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketCondition: TBE. Paris, br.; in-8, 243 pp.
Language: English
Published by Springer, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 76.40
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Language: English
Published by Springer, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 76.39
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Language: English
Published by Springer, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 85.72
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: LiLi - La Liberté des Livres, CANEJAN, FranceLiLi - La Liberté des Livres
Contact seller5-star sellerCondition: Used - Fine
£ 7.02
£ 55.46 shippingShips from France to U.S.A.Quantity: 1 available
Condition: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
Published by Plon, 1978
- Softcover
Condition: Used - Near fine
£ 18.37
£ 35.83 shippingShips from France to U.S.A.Quantity: 1 available
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.
- Hardcover
Seller: LiLi - La Liberté des Livres, CANEJAN, FranceLiLi - La Liberté des Livres
Contact seller5-star sellerCondition: Used - As new
£ 10.26
£ 55.46 shippingShips from France to U.S.A.Quantity: 1 available
Condition: as new. vendeur professionnel. envoi soigne en 24/48h.
Language: English
Published by Springer, 2004
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 107.12
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Language: English
Published by Springer, 2004
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 127.83
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Published by Plon, 1978
- Softcover
Condition: Used - Near fine
£ 22.67
£ 35.83 shippingShips from France to U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 133.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Published by PLON, 1978
- Softcover
Condition: Used - Near fine
£ 27.16
£ 35.83 shippingShips from France to U.S.A.Quantity: 3 available
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.
Language: English
Published by Springer, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 75.74
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Language: English
Published by Springer, 2004
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 98.83
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Language: English
Published by Springer Berlin Heidelberg, 2010
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 67.82
£ 41.80 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. 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.
Language: English
Published by Springer Berlin Heidelberg, 2004
Series: Texts in Theoretical Computer Science. An EATCS, Book 37 of 45. Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 94.11
£ 41.80 shippingShips from Germany to U.S.A.Quantity: Over 20 available
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 cer…tified software. I.
