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

Full description

Bibliographic Details
Corporate Authors: Monterey Workshop Redmond, Wash., SpringerLink (Online service)
Other Authors: Calinescu, Radu, Jackson, Ethan
Format: Electronic Resource
Language:English
Published: 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.
Online Access:Available for University of the Philippines Diliman via SpringerLink. Click here to access