Casttran Pierre (2 results)
Author:
Refine with Advanced Search
Interactive Theorem Proving And Program Development : Coq'art: The Calculus Of Inductive Constructions
Bertot, Yves; CastTran, Pierre; Huet, Gerard (FRW); Paulin-Mohring, Christine (FRW)
Language: English
Published by Springer, 2004
Series: Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 126.78
£ 1.99 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Interactive Theorem Proving And Program Development : Coq'art: The Calculus Of Inductive Constructions
Bertot, Yves; CastTran, Pierre; Huet, Gerard (FRW); Paulin-Mohring, Christine (FRW)
Language: English
Published by Springer, 2004
Series: Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 232.44
£ 1.99 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
