Operationales Spezifizieren mit programmierten Graphersetzungssystemen
Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
Andreas Schürr
Deutscher Universitätsverlag
Softcover
1991
54,99 €