Format:
XV, 382 S. :
,
graph. Darst.
ISBN:
3-540-08766-4
,
0-387-08766-4
Series Statement:
Lecture notes in computer science 61
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Metasprache
;
VDM
;
Programmiersprache
;
Metasprache
;
Programmiersprache
;
Semantik
;
Aufsatzsammlung
;
Aufsatzsammlung
Author information:
Bjørner, Dines, 1937-