Some Formal Methods Supporting Software Reuse
Essen: Univ. - Gesamthochschule - Essen, Fachbereich Mathematik u. Informatik, 1993
(Informatik-Berichte ; 93,2)
1993Forschungsbericht
MathematikInformatik
Titel in Englisch:
Some Formal Methods Supporting Software Reuse
Autor*in:
Cramer, Joachim;Doberkat, Ernst-Erich;Goedicke, MichaelUDE
- LSF ID
- 5091
- ORCID
- 0009-0004-2383-6764
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Erscheinungsort:
Essen
Verlag:
Univ. - Gesamthochschule - Essen, Fachbereich Mathematik u. Informatik
Erscheinungsjahr:
1993
Umfang:
33 Seiten
Signatur der UB:
Sprache des Textes:
Englisch