Principles of Abstract...
Patrick Cousot
Buy new from £81.35
|
Adapting Proofs-As-Programs:...
Iman Poernomo,
John N Crossley
Buy new from £44.60
eBook from £39.07
|
Programming Abstractions in C...
Eric Roberts
Buy new from £60.64
|
Quality of Communication...
Gunter Hommel (Editor),
Gunther Hommel (Editor)
Buy new from £91.27
|
Qualified Types: Theory and...
Mark P. Jones
Buy new from £134.07
|
Algebraic Specification: Case...
Jan A Bergstra
Buy new from £16.40
|
Data Structures W/Abstract &...
Daniel F Stubbs,
Neil W Webre
Buy new from £89.45
|
Data Abstraction and...
Mark R Headington,
David D Riley
Buy new from £73.12
|
Data Abstract & Struc C++: .
Ronald B Gillam,
Thomas P Marquardt
Buy new from £17.92
|
Data Structures, Data...
Mitchell Model
Buy new from £57.43
|