Certified Programming With Dependent Types

By: Adam Chlipala

QTY
-+
$134.99
 
 
ISBN
9780262026659
Date Released
Binding
Hardcover
Pages
424
Dimensions
178 x 229 x 20mm

Only available to order
Estimated 10 - 14 business days until dispatch

Description
Information
ISBN:
9780262026659
Publication Date:
06 / 12 / 2013
Pages:
424
Dimensions:
178 x 229 x 20mm

You might also like



Accepted Payments

Need help? Call us on (07) 3291 7444