Programming Methodology, Computer Programming, Hardcover | Barnes & Noble®

BN Homepage Two-Image carousal

!

Javascript is not enabled in your browser. Enabling JavaScript in your browser will allow you to experience all the features of our site.

Learn how to enable JavaScript on your browser

41- 41 of 41 results

Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo

Adapting Proofs-as-Programs:…

by Iman Poernomo, John N. Crossley, Martin Wirsing

Hardcover $169.99