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

$55.00

  • Hardcover
  • 9780262026659
  • Published: December 6, 2013

$65.00