Helmut A. Partsch

Helmut A. Partsch

1950

2 books in the database

Books

Formal program developmentHelmut A. Partsch

Formal program development

Helmut A. Partsch · 1993

Specification and Transformation of Programs Monographs in Computer ScienceHelmut A. Partsch

Specification and Transformation of Programs Monographs in Computer Science

Helmut A. Partsch · 1990