Tell your friends about this item:
Certified Programming with Dependent Types
Adam Chlipala
Price
S$ 90.50
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 10 - 22
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 )