Publisher's Synopsis
This is the C++ version of a series of introductory computer science texts. It provides expanded treatment of problem-solving and programming, better integrates the use of logic and proof methods, and has an enhanced lab manual with many examples of C++ syntax and usage.