| 000 | 00904nam a22001457a 4500 | ||
|---|---|---|---|
| 008 | 240513s1991 gw ||||| |||| 00| 0 ger d | ||
| 100 |
_aSchürr, Andreas _9292503 |
||
| 245 |
_aOperationales Spezifizieren mit programmierten Graphersetzungssystemen : _bformale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung / _c[von] Andreas Schürr ; herausgegeben und eingeleitet von Manfred Nagl. |
||
| 264 |
_aWiesbaden : _bDeutscher Universitätsverlag, _c1991. |
||
| 653 | _aსაინფორმაციო ტექნოლოგიები | ||
| 653 | _aკომპიუტერული ტექნოლოგიები | ||
| 653 | _aფორმალური ენები | ||
| 653 | _aგადაწერის სისტემები (კომპიუტერული მეცნიერება) | ||
| 653 | _aგრაფთა თეორია (Graph theory) | ||
| 999 |
_c752443 _d752441 |
||