✦ LIBER ✦

Program proving: Jumps and functions

✍ Scribed by M. Clint; C. A. R. Hoare

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Remarks on “program proving: Jumps and f

✍ E. A. Ashcroft; M. Clint; C. A. R. Hoare 📂 Article 📅 1976 🏛 Springer-Verlag 🌐 English ⚖ 54 KB

Proving Congruence of Bisimulation in Fu

✍ Douglas J. Howe 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 498 KB

Multilevel structured program designs an

✍ G. E. Tseitlin; A. V. Bakulin 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 675 KB

Proving programs correct: Some technique

✍ Ralph L. London 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 998 KB

Transcendental functions and mechanical

✍ Xiaoshan Gao 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 635 KB

Convexity of complex functions and its u

✍ E. K. Godunova 📂 Article 📅 1967 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 197 KB