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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Calinescu, Radu (Επιμελητής έκδοσης), Jackson, Ethan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: Lecture Notes in Computer Science, 6662
• Θέματα: 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...