50% Off The Criterion Collection Shop Now
1- 3 of 3 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Data Abstraction & Problem Solving with C++: Walls and Mirrors / Edition 7, Author: Frank Carrano
QUICK ADD
Data Abstraction & Problem…
by Frank Carrano, Timothy Henry
Paperback $213.32
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Hardcover $169.99
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Paperback $169.99