The Science of Programming
| Authors | Gries, David |
| Publisher | Springer |
| Published | 26 gen 1981 |
| Date | 24 feb 2016 |
| Languages | eng |
| Identifiers | isbn: 9781461259831, oclc: 958524405, doi: 10.1007/978-1-4612-5983-1, uri: https://link.springer.com/book/10.1007/978-1-4612-5983-1 |
| Formats |
Description
formal program development à la Dijkstra's "calculus" etc.