Derivation of programs for freshmen
- 12 March 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCSE Bulletin
- Vol. 26 (1) , 116-120
- https://doi.org/10.1145/191033.191077
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- A Logical Approach to Discrete MathPublished by Springer Nature ,1993
- Formal derivation of a pattern matching algorithmScience of Computer Programming, 1989
- The Science of ProgrammingPublished by Springer Nature ,1981