Skip navigation

Certified Programming with Dependent Types

By Adam Chlipala
$50.00
$50.00
Buy E-Book

View Complete Product Information

Certified Programming with Dependent Types

Specifications

Hardcover

  • Pages: 440p.
  • Dimensions: 7 x 9 inches
  • Publication Date: December 6, 2013
  • ISBN: 9780262026659