✦ LIBER ✦

An axiomatic basis for computer programming

✍ Scribed by Hoare, C. A. R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Parallel programming: An axiomatic appro

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

An axiomatic basis for distributional eq

✍ D. Schoch 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 489 KB

An axiomatic approach to computers

✍ MELVIN C. FITTING 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 717 KB