Certified Programming with Dependent Types

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

by Adam Chlipala

Paperback

$60.00

Paperback

ISBN: 9780262545747

Pub date: June 7, 2022

Publisher: The MIT Press

440 pp., 7 x 9 in,

Hardcover

$65.00

Hardcover

ISBN: 9780262026659

Pub date: December 6, 2013

Publisher: The MIT Press

440 pp., 7 x 9 in,

440 pp., 7 x 9 in,

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

$60.00

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

$65.00