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...
| Corporate Authors: | , |
|---|---|
| 其他作者: | , |
| 格式: | Electronic Resource |
| 語言: | 英语 |
| 出版: |
Berlin, Heidelberg
Springer
c2011.
|
| 叢編: | LNCS sublibrary. SL 2, Programming and software engineering
|
| 主題: | |
| 在線閱讀: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |