1993
3.
Partsch,
Helmuth
Formal Problem Specification on an Algebraic Basis
In M枚ller, B. and Partsch, H. and Schuman, S., Editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Band 755 aus Lecture Notes in Computer Science
Seite 183-224
Herausgeber: Springer-Verlag
1993
183-224
Formal Problem Specification on an Algebraic Basis
In M枚ller, B. and Partsch, H. and Schuman, S., Editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Band 755 aus Lecture Notes in Computer Science
Seite 183-224
Herausgeber: Springer-Verlag
1993
183-224
2.
Formal Program Development: IFIP TC2 State-of-the-Art Report
In M枚ller, B. and Partsch, H. and Schuman, S., Editor, Band 755 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag
1993
1.
Partsch,
Helmuth
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Herausgeber: Kluwer Academic Publishers
1993
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Herausgeber: Kluwer Academic Publishers
1993