Adam Chlipala

Popular items by Adam Chlipala

View all offers

Certified Programming with Dependent Types – A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
Chlipala, Adam

Item prices starting from

� 59.21

View 18 offers

Also find
New, Used