Format:
XII, 238 S.
,
Ill., graph. Darst.
,
24 cm
ISBN:
9783642212918
,
3642212913
Series Statement:
Lecture notes in computer science 6662
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
Language:
English
Subjects:
Computer Science
Keywords:
Software Engineering
;
Formale Methode
;
Adaptives System
;
Verifikation
;
Theoretische Informatik
;
Programmierung
;
Konferenzschrift
Author information:
Calinescu, Radu C. 1968-
