Home › Biblio

Biblio

Export 38 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
Filters: First Letter Of Title is P  [Clear All Filters]
1983
Durchholz, R., and H. - D. Ehrich, "Proceedings", Workshop on Information and Data Structure Description, München, Bericht der GMD Nr. 139, 1983. Abstract
1980
Ehrich, H. - D., "Proving Implementations Correct - Two Alternative Approaches", IFIP Congress 1980: North-Holland Publ. Comp., 1980. Abstract  Download: 1980IFIP.pdf (384.86 KB)
1979
Ehrich, H. - D., and V. G. Lohberger, "Parametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements", Proceedings of the Workshop on "Graphentheoretische Konzepte in der Informatik": Hanser-Verlag, 1979. Abstract  Download: 1979Graphen4.pdf (792.42 KB)