Format:
1 Online-Ressource XI, 550 Seiten
,
Illustrationen
ISBN:
9783662496305
,
9783662496299
Series Statement:
Lecture Notes in Computer Science Volume 9634
Language:
English
Keywords:
Theoretische Informatik
;
Softwarewissenschaft
;
Programmiersprache
;
Mathematische Logik
;
Software Engineering
;
Programmierung
;
Konferenzschrift
DOI:
10.1007/978-3-662-49630-5
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Jacobs, Bart 1963-