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
Íkr 8,179
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Media Books     Book
Released June 7, 2022
ISBN13 9780262545747
Publishers MIT Press
Pages 436
Dimensions 150 × 220 × 20 mm   ·   680 g
Language English  

Mere med samme udgiver

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