Amazon.com description: Product Description: 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. Numerous fully tested and compiled working programs demonstrate exemplary coding style, and there are many high-quality applications which challenge the programmer to develop precise algorithms, and readable, maintainable code. This book should be of interest to degree and diploma students on introductory courses in computer science where Pascal is taught.