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

Name: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Brand: MIT Press

From

£45.31

Pages: 436, Paperback, MIT Press

Pages: 436, Paperback, MIT Press

Price now:

From

£45.31	Amazon	Shop
£68.10	eBay	Shop

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

Amazon

£45.31

Certified Security Manager Training Program

Amazon

£9.94

Python Institute - PCAP - Certified Associate in Python Programming (Python Certifications)

Amazon

£13.39

Yoga for Teens in Residential Programs: A Manual for Experienced, Certified Yoga Teachers

Amazon

£11.24

Siemens Safety & Fail-Safe Programming: Certified Safety Solutions for SIMATIC Controllers

Amazon

£22.33