Operationales Spezifizieren mit Programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung (DUV: ... und eingeleitet von Manfred Nagl 54,99 EUR*