Formal methods: foundations and applications [Electronic resource] : 13th brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / ed. J. Davies [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6527). - ISBN 978-3-642-19829-8 : Б. ц. Рубрики: Computer science    Software engineering    Logic design    Information systems    Computer science    Software engineering    Logics and meanings of programs    Programming languages, compilers, interpreters    Programming techniques    Mathematical logic and formal languages    Management of computing and information systems См. : Текст издания Доп.точки доступа: Davies, J. \ed.\; SpringerLink (Online service) Свободных экз. нет