Format:
XII, 238 S. :
,
Ill., graph. Darst. ;
,
24 cm.
ISBN:
978-3-642-21291-8
,
3-642-21291-3
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-
