Description: This C++ volume is organized around a study of abstraction and its use in data structures and algorithms. Committed to the study of verification and computation complexity, the text and lab manual have been converted to C++ as a more nat...