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
R 1,067
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Mar 19 - 25

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list
Media Books     Book
Released June 7, 2022
ISBN13 9780262545747
Publishers MIT Press
Pages 436
Dimensions 150 × 220 × 20 mm   ·   680 g
Language English  

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