Model-Based engineering of embedded real-time systems [Electronic resource] : International dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers / ed. H. Giese [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6100). - ISBN 978-3-642-16277-0 : Б. ц. Рубрики: Computer science    Computer system performance    Software engineering    Logic design    Computer simulation    Computer science    Software engineering    Programming techniques    Programming languages, compilers, interpreters    Logics and meanings of programs    Simulation and modeling    System performance and evaluation См. : Текст издания Доп.точки доступа: Giese, H. \ed.\; SpringerLink (Online service) Свободных экз. нет