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
US$ 163.35
US$ 2.64 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
US$ 299.49
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
