Publisher's Synopsis
Textbook for a second course in computer science takes as its central theme the idea that abstraction is a powerful technique for writing well-structured computer programs. It covers both memory and time efficiency considerations, various testing and verification techniques, and useful sorting methods. Includes end-of-chapter programming problems.