A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus.
Read More
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus.
Read Less
Book Details
Seller
Sort
Seller Rating
Price: Low to High
Price: High to Low
Pub Date
Pub Date: Reverse
Trade paperback,
New
2022, MIT Press
ISBN-13:
9780262545747
See Item Details ▾
Alibris
BEST
NV, USA
$68.44
Add to Cart
Add this copy of Certified Programming with Dependent Types: A Pragmatic to cart. $68.44, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2022 by MIT Press.
Edition: 2022, MIT Press
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
0262545748
ISBN-13:
9780262545747
Pages:
440
Publisher:
MIT Press
Published:
2022
Language:
English
Alibris ID:
17799475745
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Two Day Air: $29.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Print on demand Trade paperback (US). Glued binding. 440 p.
Hide Details ▴
Trade paperback,
New
2022, MIT Press
ISBN-13:
9780262545747
See Item Details ▾
Ria Christie Books
HIGH
Uxbridge,
MIDDLESEX,
UNITED KINGDOM
$82.32
Add to Cart
Add this copy of Certified Programming with Dependent Types: A Pragmatic to cart. $82.32, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2022 by MIT Press.
Edition: 2022, MIT Press
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
0262545748
ISBN-13:
9780262545747
Pages:
440
Publisher:
MIT Press
Published:
2022
Language:
English
Alibris ID:
18319921101
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 440 p.
Hide Details ▴
Trade paperback,
New
2022, MIT Press
ISBN-13:
9780262545747
See Item Details ▾
Bonita
HIGH
Santa Clarita,
CA,
USA
$120.70
Add to Cart
Add this copy of Certified Programming With Dependent Types: a Pragmatic to cart. $120.70, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2022 by MIT Press.
Edition: 2022, MIT Press
Trade paperback,
New
Available Copies: 2
Details: ISBN:
0262545748
ISBN-13:
9780262545747
Pages:
440
Publisher:
MIT Press
Published:
2022
Language:
English
Alibris ID:
17567192236
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
All Editions of Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
