Specification and Transformation of Programs A Formal Approach to Software Development / by Helmut A. Partsch.
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rul...
Full description
Saved in: