Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive S...

Descrición completa

Detalles Bibliográficos
Corporate Authors: Monterey Workshop Redmond, Wash., SpringerLink (Online service)
Outros autores: Calinescu, Radu, Jackson, Ethan
Formato: Electronic Resource
Idioma:English
Publicado: Berlin, Heidelberg Springer c2011.
Series:LNCS sublibrary. SL 2, Programming and software engineering
Subjects:
Computer software > Development > Congresses.
Computer software > Verification > Congresses.
Software engineering > ongresses.
Electronic books.
Acceso en liña:Available for University of the Philippines Diliman via SpringerLink. Click here to access