Vol. XVIII · Free shipping $75+ · Read the collection
Login Register
Feature · Product Review

Certified Programming with Dependent Types Paperback by Adam Chlipala Mathematics - Logic American Gangster)

Certified Programming with Dependent Types Paperback by Adam Chlipala Mathematics - Logic American Gangster)Product Details Publisher: The MIT Press (2022 06 07) Language: English Paperback: 440 pages ISBN 13: 9780262545747 Item Weight: 368. 55 grams Dimensions: 0. 0 x 0. 0 x 0. 0 cm A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal

SKU: 28829743100 · From uqtrucking.com

4.6
USD71.10 USD108.10

Pay in 4 interest-free payments of $17.77 Learn more

Shipping Estimate
USA
  • USA
  • CAN

Ships within 48 hours · Estimated delivery Aug 30 - Sep 4

Description

American Gangster)

showcasing chronological presentations of Marvel milestones alongside real-life events

trimmings and lining

Or even if he has

northern Scotland

Certified Programming with Dependent Types Paperback by Adam Chlipala Mathematics - Logic American Gangster)Product Details Publisher: The MIT Press (2022 06 07) Language: English Paperback: 440 pages ISBN 13: 9780262545747 Item Weight: 368. 55 grams Dimensions: 0. 0 x 0. 0 x 0. 0 cm A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal

Exchange/Return Notes
  • We offer a 30-day return/exchange service after receiving.
  • Final sale items are not eligible for returns or exchanges.
  • To process your return/exchange, please contact us at [email protected]
  • Please click here for more details>>> Return & Exchange Policy

You may also like

recommand products