✦ LIBER ✦

Multilevel structured program designs and correctness proving

✍ Scribed by G. E. Tseitlin; A. V. Bakulin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Syntactically correct multilevel structu

✍ L. I. Nagornaya 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 446 KB

On multilevel structured program design

✍ V. G. Akulovskii 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 757 KB

Axiomatic specification and logic progra

✍ Dario V. Boriani 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Standardization and optimum structural d

✍ E. Vitiello 📂 Article 📅 1977 🏛 Springer 🌐 English ⚖ 431 KB

Fesap—design program for static and dyna

✍ D.B. Van Fossen 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 721 KB

Structured design and synthesis of some

✍ L. I. Nagornaya 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 223 KB