Tell your friends about this item:
Certified Programming with Dependent Types
Adam Chlipala
Price
€ 81.49
Ordered from remote warehouse
Expected delivery Dec 16 - 25
Christmas presents can be returned until 31 January
Our customers say:
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 | 680 g |
| Language | English |
See all of Adam Chlipala ( e.g. Book )