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

Description complète

Détails bibliographiques
Collectivités auteurs: Monterey Workshop Redmond, Wash., SpringerLink (Online service)
Autres auteurs: Calinescu, Radu, Jackson, Ethan
Format: Electronic Resource
Langue:English
Publié: Berlin, Heidelberg Springer c2011.
Collection:LNCS sublibrary. SL 2, Programming and software engineering
Sujets:
Computer software > Development > Congresses.
Computer software > Verification > Congresses.
Software engineering > ongresses.
Electronic books.
Accès en ligne:Available for University of the Philippines Diliman via SpringerLink. Click here to access