Foundations of Computer Software Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, 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...

Full description

Bibliographic Details

Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Calinescu, Radu (Editor), Jackson, Ethan (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edition:	1st ed. 2011.
Series:	Programming and Software Engineering, 6662
Subjects:	Software engineering. Application software. Information storage and retrieval systems. Computer networks . Electronic digital computers-Evaluation. Artificial intelligence. Software Engineering. Computer and Information Systems Applications. Information Storage and Retrieval. Computer Communication Networks. System Performance and Evaluation. Artificial Intelligence.
Online Access:	Texto Completo