"118" Result
Sort By:
This text synthesizes ten years of research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanatio…
The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provi…
Pascal is one of the newer programming languages, and is becoming more and more widely used in many applications. This is a complete course in Pascal-suitable for all syllabuses where practical knowledge of this computer language is required.
