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

Sold Out / Out of Stock

You might also like...