Format:
1 Online-Ressource (XIII, 388 S.)
,
Ill., graph. Darst.
ISBN:
3540311874
,
9783540311874
,
9783540311881
Series Statement:
Monographs in theoretical computer science
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Graphersetzungssystem
;
Formale Spezifikationstechnik
DOI:
10.1007/3-540-31188-2
Author information:
Ehrig, Hartmut 1944-2016