Format:
XIII, 388 S.
,
Ill., graph. Darst.
ISBN:
3540311874
,
9783540311874
,
9783642068317
Series Statement:
Monographs in theoretical computer science
Note:
Hier auch später erschienene, unveränderte Nachdrucke
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-540-31188-1
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Graphersetzungssystem
;
Formale Spezifikationstechnik
Author information:
Ehrig, Hartmut 1944-2016