Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions

Book 37 of 45: Texts in Theoretical Computer Science. An EATCS

Bertot, Yves/ CastTran, Pierre/ Huet, Gerard (Foreward By)/ Paulin-Mohring, Christine (Foreward By)

ISBN 10: 3540208542 ISBN 13: 9783540208549
Published by Springer-Verlag New York Inc, 2004
Language: English
Condition: New Hardcover

Sold by Revaluation Books, Exeter, United Kingdom

AbeBooks Seller since 6 January 2003

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


New - Hardcover

Condition: New

Price:
£ 99.99
£ 12.50 shipping
Ships from United Kingdom to U.S.A.

Quantity: 2 available

Add to basket