"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...

"Specification and Transformation of Programs: A Formal Approach to Software Development" von Helmut A. Partsch ist ein umfassendes Werk, das sich mit der formalen Entwicklung von Softwareprogrammen befasst. Das Buch bietet einen...