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

Certified Programming with Dependent Types

Adam Chlipala

Price
A$ 117.49

Ordered from remote warehouse

Expected delivery Nov 21 - Dec 4

Our customers say:

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

Media Books     Book
Released June 7, 2022
ISBN13 9780262545747
Publishers MIT Press
Pages 436
Dimensions 680 g
Language English  

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