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.... This description may be from another edition of this product.