Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
The Design of Well-Structured and Correct Programs
PreviewsReadr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Many examples of programs and development of evidence, and explanations about the control structure and data, is pro-vided. PASCAL programming as text, not only provides an independent introduction to the language, but also offers an algorithm that operates on sophisticated data structures, and provides a full axiomatic definition of PASCAL in terms of rules of evidence. Although the introductory course in programmming needed, no particular mathematical background nec-essary beyond the basic idea of a mathematical proof.
Computer eBook Details
- ISBN-10: 0387902996
- ISBN-13: 9780387902999
- Publisher: Springer
- Pages: 292
- Date: March 1978
- Series: Monographs in Computer Science