Generative and transformational techniques in software engineering iii [Electronic resource] : international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009: revised papers / ed. J. M. Fernandes [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6491). - ISBN 978-3-642-18023-1 : Б. ц. Рубрики: Computer science    Software engineering    Logic design    Computer science    Software engineering    Logics and meanings of programs    Programming languages, compilers, interpreters    Programming techniques    Mathematical logic and formal languages    Software engineering/programming and operating systems См. : Текст издания Доп.точки доступа: Fernandes, J.M. \ed.\; SpringerLink (Online service) Свободных экз. нет