UID:
kobvindex_ZLB15073493
Umfang:
X, 360 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783642035630
Serie:
Lecture notes in computer science 5725
Anmerkung:
Literaturangaben
,
Text engl.
Sprache:
Englisch
Schlagwort(e):
Algebraische Spezifikation
;
Kongress
;
Saloniki 〈2009〉
;
Formale Sprache
;
Kongress
;
Saloniki 〈2009〉
;
Formale Semantik
;
Kongress
;
Saloniki 〈2009〉
;
Automatentheorie
;
Kongress
;
Saloniki 〈2009〉
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/995947740/04