Mathematics of software construction
Allan Norcliffe, Gil Slater · Medical Entomology and Zoology · 1991
why mathematics modelling inputs and outputs programs as functions functional specifications the top-down approach coping with software update and maintenance a real problem from start to finish enhanced computational techniques programming with relations generating programs from specifications how to generate correct programs some advanced programming problems where next?