Providing the essential tools and techniques of computer science, this textbook contains in-depth coverage of design principles, featuring assertions, preconditions, postconditions and loop variants. Procedures are presented early, and include parameter passage and scope of variables.