𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Design of Ground–Water Level Observation–Well Programs

✍ Scribed by Ralph C. Heath


Book ID
111348518
Publisher
John Wiley and Sons
Year
1976
Tongue
English
Weight
545 KB
Volume
14
Category
Article
ISSN
0017-467X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The Design of Well-Structured and Correc
✍ Suad Alagic, Michael A. Arbib 📂 Library 📅 1978 🏛 Springer 🌐 English ⚖ 2 MB

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 explanation of control and data