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

Adam Chlipala
Certified Programming with Dependent Types

Price
£ 58.49

Ordered from remote warehouse

Expected delivery Aug 7 - 21
Get notified about new Adam Chlipala releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list
or

Not rated yet

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

More from the same publisher

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