Certified Programming With Dependent Types A Pragmatic Introduction To The Coq Proof Assistant

by Adam Chlipala 1981

$38 · Offered by Second Story Books

Cambridge: MIT Press, 2013. Octavo, xii, 424 pages. In Very Good condition. Spine is red with white print. Boards in red paper, white print, illustration.NOTE: Shelved in Netdesk Column K ND-K .

Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.