TY  - BOOK
AU  - Schürr, Andreas
TI  - Operationales Spezifizieren mit programmierten Graphersetzungssystemen: formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung 
PY  - 1991///
CY  - Wiesbaden : 
PB  - Deutscher Universitätsverlag
KW  - საინფორმაციო ტექნოლოგიები
KW  - კომპიუტერული ტექნოლოგიები
KW  - ფორმალური ენები
KW  - გადაწერის სისტემები (კომპიუტერული მეცნიერება)
KW  - გრაფთა თეორია (Graph theory)
ER  -