Operationales Spezifizieren mit programmierten Graphersetzungssystemen : formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung /
[von] Andreas Schürr ; herausgegeben und eingeleitet von Manfred Nagl.
- Wiesbaden : Deutscher Universitätsverlag, 1991.
საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები ფორმალური ენები გადაწერის სისტემები (კომპიუტერული მეცნიერება) გრაფთა თეორია (Graph theory)