Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala (Assistant Professor, Massachusetts Institute of Technology)
Unfortunately we do not have a summary for this item at the moment
Certified Programming with Dependent Types
Certified Programming with Dependent Types
Certified Programming with Dependent Types Summary
Additional information
GOR011516745
9780262026659
0262026651
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala (Assistant Professor, Massachusetts Institute of Technology)
Used - Very Good
Hardback
MIT Press Ltd
20131206
440
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us