Due to changes in U.S. customs regulations, all shipments to the United States are now subject to customs clearance.
This means that the recipient will be required to pay customs duties, as well as any applicable taxes and fees upon import.
Please also note that delivery may be delayed while the shipment is being processed by U.S. customs.

Certified Programming with Dependent Types - Adam Chlipala - Books - MIT Press - 9780262545747 - June 7, 2022

In case cover and title do not match, the title is correct

Tell your friends about this item:

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Price

$ 65.99

excl. VAT

Ordered from remote warehouse

Expected delivery Dec 29 - Jan 8, 2026

Christmas presents can be returned until 31 January

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Certified Programming with Dependent Types

Adam Chlipala

Media	Books Book
Released	June 7, 2022
ISBN13	9780262545747
Publishers	MIT Press
Pages	436
Dimensions	150 × 220 × 20 mm · 680 g
Language	English

See all of Adam Chlipala ( e.g. Book )