✦ LIBER ✦

An elementary and unified approach to program correctness

✍ Scribed by Jaime A. Bohórquez V

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correction and supplement: An elementary

✍ Erik A. Lippa 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 45 KB

A unified approach to Duality in convex

✍ Dominikus Noll 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 682 KB

Unified approach to approximate solution

✍ F. Patrone; S. H. Tijs 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 248 KB

Axiomatic approach to total correctness

✍ Zohar Manna; Amir Pnueli 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 856 KB

An elementary approach to subresultants

✍ M'hammed El Kahoui 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 133 KB

An elementary approach to Hecke operator

✍ Erik Lippa 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 182 KB