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$ 120.49

Ordered from remote warehouse

Expected delivery Dec 24 - Jan 8, 2025
Christmas presents can be returned until 31 January
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 )