Publisher's Synopsis
The central theme of this work is that data abstraction is a powerful technique for writing well-structured programs. It aims to help students become good programmers, covering both memory and time efficiency techniques, various testing and verification techniques and useful sorting methods.