Calinescu, Radu C.
[HerausgeberIn];
Jackson, Ethan
[Sonstige Person, Familie und Körperschaft]
;
Monterey Workshop 16 2010 Redmond, Wash
Foundations of computer software
: modeling, development, and verification of adaptive systems ; 16th Monterey Workshop 2010, Redmond, WA, USA, March 31-April 2010 ; revised selected papers
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Foundations of computer software
:
modeling, development, and verification of adaptive systems ; 16th Monterey Workshop 2010, Redmond, WA, USA, March 31-April 2010 ; revised selected papers