Operationales Spezifizieren mit programmierten Graphersetzungssystemen
Subtitle: formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung
By: Andreas Schürr ; herausgegeben und eingeleitet von Manfred Nagl.
Publisher: DUV
Published: 1991
Place of publication: Wiesbaden
Language: ger
Number of pages: 461
Subjects: Formal languages.; Rewriting systems (Computer science); Graph theory.
Notes: Includes bibliographical references (p. [430]-451) and index.
"DUV Informatik"--Cover p. 4.
Originally presented as the author's thesis (doctoral)--TH Aachen, 1991.