Adam Chlipala

Showing the single result

On backorder 2-5 Weeks to Arrive

Add to wishlist

A Pragmatic Introduction to the Coq Proof Assistant: Certified Programming with Dependent Types

by
Adam Chlipala

Paperback

44.00 JOD