Foundations of software science and computational structures [Electronic resource] : 14th international conference, FOSSACS 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011 : proceedings / ed. M. Hofmann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6604). - ISBN 978-3-642-19805-2 : Б. ц. Рубрики: Computer science    Software engineering    Logic design    Computer science    Mathematical logic and formal languages    Computation by abstract devices    Logics and meanings of programs    Programming languages, compilers, interpreters    Software engineering См. : Текст издания Доп.точки доступа: Hofmann, M. \ed.\; SpringerLink (Online service) Свободных экз. нет