✦ LIBER ✦

The Science of Programming || Using Assertions To Document Programs

✍ Scribed by Gries, David

Book ID: 120244975
Publisher: Springer New York
Year: 1981
Weight: 663 KB
Category: Article
ISBN: 1461259835
DOI: 10.1007/978-1-4612-5983-1_7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Science of Programming || Inverting

The Science of Programming || Inverting Programs

✍ Gries, David 📂 Article 📅 1981 🏛 Springer New York ⚖ 767 KB

The Science of Programming || Why Use Lo

The Science of Programming || Why Use Logic? Why Prove Programs Correct?

✍ Gries, David 📂 Article 📅 1981 🏛 Springer New York ⚖ 527 KB

Using peers, assertion to develop career

Using peers, assertion to develop career: Quality Assurance: A Complete Guide to Effective Programs

✍ Sister Kane 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 157 KB

Using Octave to introduce programming to

Using Octave to introduce programming to technical science students

✍ Marques, Nuno C.; Azevedo, Francisco; Morgado, Carmen; Custódio, Jorge F. 📂 Article 📅 2005 🏛 Association for Computing Machinery ⚖ 585 KB

The science of programming

✍ David Gries 📂 Library 📅 1981 🏛 Springer 🌐 English ⚖ 2 MB

This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976)

The prediction of success using programe

The prediction of success using programed science materials

✍ Alton L. Taylor 📂 Article 📅 1964 🏛 John Wiley and Sons 🌐 English ⚖ 82 KB