✦ LIBER ✦

Axiomatic system for program correctness verification with respect to the structure of objects

✍ Scribed by L. V. Chernobrod

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A precise upper limit for the correctnes

✍ C. Truesdell 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 407 KB

Differentiation of the dynamic programmi

✍ A. G. Perevozchikov 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 275 KB

Device for measuring the angle of turn o

✍ Yu. K. Neumyvakin; V. V. Bush; M. I. Perskii; A. N. Sukhov 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 240 KB

Law of iterated logarithm for lacunary s

✍ S. V. Levizov 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 522 KB

The french standard methods for evaluati

✍ A. Criaud; C. Defossé; B. Chabanis; L. Debray; B. Michel; D. Sorrentino; M. Gall 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 780 KB

A program for determining by the gradien

✍ V. I. Karliichuk; V. N. Glushkov; A. I. Aprasyukhin; A. Ya. Tsaune 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 182 KB