LorePath
  • Browse
  • ·FAQ
Back to Browse
Author

Helmut A. Partsch

3 books found

Cover of Formal program development

Formal program development

Helmut A. Partsch, Bernhard Moller, Helmut Partsch · First published 1993

Open the Tome
Cover of Specification and Transformation of Programs

Specification and Transformation of Programs

Helmut A. Partsch · First published 1990

Open the Tome
Cover of Specification and Transformation of Programs Monographs in Computer Science

Specification and Transformation of Programs Monographs in Computer Science

Helmut A. Partsch · First published 1990

Open the Tome