Progressing from the concrete to the abstract - and using numerous, substantial case studies and sample programs - this book explores structured problem solving, data abstraction, software engineering principles, and the comparative analysis of algorithms as fundamental tools of program design. Emphasizes principles of top-down refinement, program design, review, and testing. Uses the C programming language throughout. Offers internet access to the source code for all the programs and program extracts printed in the book.