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

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

0 stars by 0 votes
Google Book Preview of Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Write a Review

Best Price: Rs. 2,498 - Rs. 3,614 Compare prices from 5 sellers »

Book Details

Format
Binding Hardback
Overview
Publisher MIT Press Ltd
Store Locator
Books Local Stores

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

Amazon

Return Policy : 30 days
Cash on Delivery ; EMI

2-10 Working Days

2,498.00 Rs. 2,498 + FREE Shipping
Landmarkonthenet

Return Policy
Cash on Delivery ; EMI

3,400.00 Rs. 3,400 + FREE Shipping
Uread

Return Policy
Cash on Delivery ; EMI

3,542.00 Rs. 3,542 + FREE Shipping
Bookadda

Return Policy
Cash on Delivery ; EMI

3,614.00 Rs. 3,614 + FREE Shipping
Acadzone

Return Policy
Cash on Delivery ; EMI

3,614.00 Rs. 3,614 + FREE Shipping

Local stores for Books

or Find Shops Near Me
Shop NameAddressDistancePhone NumberMap & Direction
Does your store sale this book?
ADD YOUR STORE

Google Preview

Price Alert