Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Paperback)
  • Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Paperback)
zoom

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

(author)
£45.20
Paperback 440 Pages
Published: 07/06/2022
  • We can order this from the publisher

UK delivery within 4-5 weeks

  • This item has been added to your basket

Publisher: MIT Press Ltd
ISBN: 9780262545747
Number of pages: 440
Weight: 369 g
Dimensions: 229 x 178 mm

You may also be interested in...

Android App Development For Dummies
Added to basket
iPad in the Enterprise
Added to basket
Android Cookbook
Added to basket
£55.99
Paperback
Professional Android Wearables
Added to basket
Building Windows 8 Apps with JavaScript
Added to basket
iOS App Development For Dummies
Added to basket
iOS 5 Recipes
Added to basket
£39.50
Paperback
IOS 6 Programming Cookbook
Added to basket
iPad Application Sketch Book
Added to basket
MacRuby: The Definitive Guide
Added to basket
Fluent Windows 8.1 App Development
Added to basket
How to Build a Billion Dollar App
Added to basket

Please sign in to write a review

Your review has been submitted successfully.

env: aptum
branch: