Helmut A. Partsch

Born 1950-01-01

Identifiers

Open LibraryOL885485A

Top Subjects

Computer software -- Development. (1)

Books by Helmut A. Partsch

Total count: 1

Specification and transformation of programsa formal approach to software development

Springer-Verlag1990-01-01