Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / edited by Radu Calinescu, Ethan Jackson.
By: Calinescu, Radu.
Contributor(s): Jackson, Ethan | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 6662.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642212925.Subject(s): Computer science | Computer Communication Networks | Computer system performance | Software engineering | Information storage and retrieval systems | Information systems | 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)DDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.