Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant - The MIT Press (Hardback)
  • Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant - The MIT Press (Hardback)
zoom

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant - The MIT Press (Hardback)

(author)
£57.00
Hardback 440 Pages
Published: 06/12/2013

This product is currently unavailable.

  • This item has been added to your basket

Publisher: MIT Press Ltd
ISBN: 9780262026659
Number of pages: 440
Weight: 821 g
Dimensions: 229 x 178 x 25 mm

You may also be interested in...

Head First iPhone and iPad Development
Added to basket
IOS 6 Programming Cookbook
Added to basket
Android Cookbook
Added to basket
£55.99
Paperback
iOS App Development For Dummies
Added to basket
iPad in the Enterprise
Added to basket
iOS 5 Recipes
Added to basket
£39.50
Paperback
Beginning iPad Application Development
Added to basket
More iOS 6 Development
Added to basket
Swift for Programmers
Added to basket
Building Android Apps in Easy Steps
Added to basket
Beginning iOS Storyboarding
Added to basket
Beginning iOS 3D Unreal Games Development
Added to basket
BlackBerry Development Fundamentals
Added to basket

Please sign in to write a review

Your review has been submitted successfully.

env: aptum
branch: