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 / Fach: Wirtschaftswissenschaften