Home Books Computer Internet

Certified Programming with Dependent Types - A Pragmatic Introduction

Photo of Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant (Hardcover) - Adam

Best Price R844.00

Author	Adam Chlipala Books
ISBN	9780262026659

Buy From

R844.00 to R0.00 from 0 sellers

Currently we have no offers for this product.

Related Computer Internet Products

Buy these other popular products from trusted online Books stores.

Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant (Hardcover) - Adam Chlipala Photo

Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant Hardcover Adam Chlipala

Types and Programming Languages (Hardcover, New) - Benjamin C Pierce Photo

Types and Programming Languages Hardcover, New Benjamin C Pierce

Understanding Your Diabetes Non Insulin - for People with Non-insulin-dependent (type 2) Diabetics (Paperback, Revised edition) - Peter Wise Photo

Understanding Your Diabetes Non Insulin for People with Noninsulindependent type 2 Diabetics Paperback, Revised edition Peter Wise

Python Programming - Python Programming for Intermediates (Paperback) - Adam Stewart Photo

Python Programming Python Programming for Intermediates Paperback Adam Stewart

SSCP (ISC)2 Systems Security Certified Practitioner Official Study Guide and SSCP CBK Kit (Paperback, 2nd Revised edition) - Adam Gordon Photo

SSCP ISC2 Systems Security Certified Practitioner Official Study Guide and SSCP CBK Kit Paperback, 2nd Revised edition Adam Gordon

Python Programming Advanced - A Complete Guide on Python Programming for Advanced Users (Paperback) - Adam Stewart Photo

Python Programming Advanced A Complete Guide on Python Programming for Advanced Users Paperback Adam Stewart

Product Description

Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant (Hardcover) - Adam Product Description

Customer Reviews

Write your own review