Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions (Texts in Theoretical Computer Science. an Eatcs Series)
Add this copy of Interactive Theorem Proving and Program Development: to cart. $53.48, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2010 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Interactive Theorem Proving and Program Development: to cart. $93.53, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2010
Language:
English
Alibris ID:
11265301085
Shipping Options:
Standard Shipping: $4.58
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white. Texts in Theoretical Computer Science. An EATCS Series . XXV, 472 p. 1 illus. Intended for professional and scholarly audience.
Interactive Theorem Proving and Program Development: Coq? Art: the Calculus of Inductive Constructions (Texts in Theoretical Computer Science. an Eatcs Series)
Add this copy of Interactive Theorem Proving and Program Development: to cart. $92.30, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2010 by Springer.
Interactive Theorem Proving and Program Development: Coq? Art: the Calculus of Inductive Constructions (Texts in Theoretical Computer Science. an Eatcs Series)
Add this copy of Interactive Theorem Proving and Program Development: to cart. $130.67, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2010 by Springer.
