004.41(063) A35         Algebraic methodology and software technology [Electronic resource] : 12th International conference, AMAST 2008 Urbana, Il, USA, July 28-31, 2008: proceedings / ed.: J. Meseguer, G. Rosu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5140). - ISBN 978-3-540-79980-1 : Б. ц. ГРНТИ 50.41 УДК 004.41(063) Рубрики: Программное обеспечение эвм--Проектирование--Съезды и конференции См. : Текст издания Доп.точки доступа: Meseguer, J. \ed.\; Rosu, G. \ed.\; SpringerLink (Online service) Свободных экз. нет