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 /  [electronic resource] : 
edited by Radu Calinescu, Ethan Jackson. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2011. 
 - Lecture Notes in Computer Science,  6662  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642212925 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer Communication Networks.<br/>Computer system performance.<br/>Software engineering.<br/>Information storage and retrieval systems.<br/>Information systems.<br/>Artificial intelligence.