✦ LIBER ✦

An axiomatic basis for computer programming

✍ Scribed by Hoare, C. A. R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An axiomatic basis for computer programm

✍ Hoare, C. A. R. 📂 Article 📅 1969 🏛 Association for Computing Machinery 🌐 English ⚖ 641 KB

A simple axiomatic basis for programming

✍ Edsger W Dijkstra 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 893 KB

An Axiomatic Basis for Vectors

✍ Stewart Fowlie 📂 Article 📅 1970 🏛 The Mathematical Association 🌐 English ⚖ 269 KB

An axiomatic basis for proving total cor

✍ Arne Wang 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 880 KB

An Axiomatic Basis for Plane Geometry

✍ Stewart S. Cairns 📂 Article 📅 1933 🏛 American Mathematical Society 🌐 English ⚖ 960 KB

Parallel programming: An axiomatic appro

✍ C.A.R. Hoare 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 640 KB