Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
Subtitle: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
By: edited by Radu Calinescu, Ethan Jackson
Contributors: Jackson, Ethan; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6662
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642212918; 9783642212925
Subjects: Computer system performance; Information systems; Computer science; Software engineering; Information storage and retrieval systems; Computer networks; Artificial intelligence