Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Helmut A. Partsch | lit.salon

Author

Helmut A. Partsch

Born 1950

3 works

1990–1993 across 3 dated works

No biography is available yet.

Start with

Specification and Transformation of Programs Monographs in Computer Science1990
Specification and transformation of programs: a formal approach to software development1990
Formal program development: IFIP TC2/WG 2.1 state-of-the-art report1993
With Bernhard Moller, Helmut Partsch

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Formal program development: IFIP TC2/WG 2.1 state-of-the-art report1993
With Bernhard Moller, Helmut Partsch
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Specification and transformation of programs: a formal approach to software development1990
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Specification and Transformation of Programs Monographs in Computer Science1990
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Helmut A. Partsch.

The conversation is still open.

There is no public salon activity to show for Helmut A. Partsch yet.