C Casteran (5 results)
- Softcover
Seller: Ammareal, Morangis, , FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
US$ 4.76
US$ 19.09 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly cr…eased cover. Slight signs of wear on the cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
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
US$ 95.01
US$ 2.64 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: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 105.49
US$ 20.11 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
US$ 182.27
US$ 20.11 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
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
US$ 202.10
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
