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 Summary
Additional information
NLS9780262545747
9780262545747
0262545748
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala (Assistant Professor, Massachusetts Institute of Technology)
New
Paperback
MIT Press Ltd
2022-06-07
440
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time