David D. Riley
Published: 1987
Total Pages: 650
Get eBook
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.