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 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Calinescu, Radu (Editor), Jackson, Ethan (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Series: Lecture Notes in Computer Science, 6662
• Subjects: Computer science.; Computer communication systems.; Computer system failures.; Software engineering.; Information storage and retrieval.; Artificial intelligence.; Computer Science.; Software Engineering.; Information Systems Applications (incl. Internet).; Information Storage and Retrieval.; Computer Communication Networks.; System Performance and Evaluation.; Artificial Intelligence (incl. Robotics).

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