Umfang:
XVI, 538 S. :
,
Ill., graph. Darst.
ISBN:
978-3-540-75220-2
,
3-540-75220-X
Serie:
Lecture Notes in Computer Science 4700 : Festschrift
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Echtzeitsystem
;
Hybrides System
;
Formale Methode
;
Festschrift
;
Konferenzschrift
;
Kongress
;
Festschrift
;
Konferenzschrift
;
Festschrift
;
Konferenzschrift
Mehr zum Autor:
Jones, Cliff B., 1944-
Mehr zum Autor:
Zhou, Chaochen, 1937-
Mehr zum Autor:
Bjørner, Dines, 1937-