Format:
281 S. :
,
graph. Darst.
ISBN:
3-446-12910-3
Series Statement:
Applied computer science 14
Language:
English
Subjects:
Computer Science
Keywords:
Programmverifikation
;
Programmiersprache
;
Semantik
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
Author information:
Raulefs, Peter 1945-