Certified Programming with Dependent Types: A Pragmatic

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Country USA
Brand MIT Press
Manufacturer MIT Press
Binding Paperback
ItemPartNumber Refer to Sapnet.
Color Brown
ReleaseDate 2022-06-07
UnitCount 1
EANs 9780262545747

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant