Format:
1 Online-Ressource (IX, 433 S.
,
Ill., graph. Darst.)
ISBN:
354057316X
,
038757316X
Series Statement:
Lecture notes in computer science 735
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Formalisierung
;
Programmierung
;
Formale Semantik
;
Formale Spezifikationstechnik
;
Konferenzschrift
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
Bjørner, Dines 1937-