Certified Programming with Dependent Types

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

by Adam Chlipala

440 pp., 7 x 9 in,

  • Paperback
  • 9780262545747
  • Published: June 7, 2022
  • Publisher: The MIT Press

$60.00

  • Hardcover
  • 9780262026659
  • Published: December 6, 2013
  • Publisher: The MIT Press

$65.00