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 / ed. R. Calinescu, E. Jackson. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6662). - ISBN 978-3-642-21292-5 : Б. ц. Рубрики: 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) См. : Текст издания Доп.точки доступа: Calinescu, R. \ed.\; SpringerLink (Online service) Свободных экз. нет