☰

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

Condition: USED (All books are in used condition)

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
Manufacturer MIT Press
Binding Paperback
ItemPartNumber Refer to Sapnet.
Color Brown
ReleaseDate 2022-06-07
UnitCount 1
EANs 9780262545747

Customers who purchased this also purchased....

Networking for System Administrators (IT Mastery)

Learning Kali Linux: Security Testing, Penetration Testing & Ethical Hacking

Mastering Linux Administration: Take your sysadmin skills to the next level by configuring and maintaining Linux systems

Linux for System Administrators: Navigate the complex landscape of the Linux OS and command line for effective administration

Linux System Administration for the 2020s: The Modern Sysadmin Leaving Behind the Culture of Build and Maintain

Red Hat Enterprise Linux 9 Administration: A comprehensive Linux system administration guide for RHCSA certification exam candidates

Mastering Embedded Linux Programming: Create fast and reliable embedded solutions with Linux 5.4 and the Yocto Project 3.1 (Dunfell)

Infrastructure as Code: Dynamic Systems for the Cloud Age