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...

ver descrição completa

Detalhes bibliográficos
Corporate Authors: Monterey Workshop Redmond, Wash., SpringerLink (Online service)
Outros Autores: Calinescu, Radu, Jackson, Ethan
Formato: Electronic Resource
Idioma:English
Publicado em: Berlin, Heidelberg Springer c2011.
Colecção:LNCS sublibrary. SL 2, Programming and software engineering
Assuntos:
Computer software > Development > Congresses.
Computer software > Verification > Congresses.
Software engineering > ongresses.
Electronic books.
Acesso em linha:Available for University of the Philippines Diliman via SpringerLink. Click here to access