Goedicke, M.; Cramer, J.; Doberkat, E.e.:
Formal Methods
In: Software Reusability / Schaefer, W.; Pietro-Diaz, R.; Matsumoto, M. (Hrsg.). - London: Ellis Horwood, 1994
Buchaufsatz/Kapitel in Sammelwerk / Fach: Wirtschaftswissenschaften
Titel:
Formal Methods
Autor(in):
Goedicke, M. im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Cramer, J.; Doberkat, E.e.
Erscheinungsjahr:
1994
Erschienen in:
Software Reusability / Schaefer, W.; Pietro-Diaz, R.; Matsumoto, M. (Hrsg.). - London: Ellis Horwood, 1994