Premium Members Get 10% Off and Earn Rewards Find Out More
1- 6 of 6 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
Paperback $169.99
Title: Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems, Author: Frederic Geurts
QUICK ADD
Abstract Compositional…
by Frederic Geurts
#1426 in Series
Paperback $54.99
Title: Bibliography on Abstract Data Types, Author: B. Kutzler
QUICK ADD
Bibliography on Abstract Data…
by B. Kutzler, F. Lichtenberger
#68 in Series
Paperback $109.99
Title: Qualified Types: Theory and Practice, Author: Mark P. Jones
QUICK ADD
Qualified Types: Theory and…
by Mark P. Jones
#9 in Series
Paperback $46.99
Title: A Systematic Catalogue of Reusable Abstract Data Types, Author: Jïrgen Uhl
QUICK ADD
A Systematic Catalogue of…
by Jïrgen Uhl, Hans A. Schmid
#460 in Series
Paperback $54.99