Formal techniques for distributed systems [Electronic resource] : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / eds. R. Bruni, J. Dingel. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6722). - ISBN 978-3-642-21461-5 : Б. ц. Рубрики: Computer science    Computer communication networks    Software engineering    Logic design    Computer science    Computer communication networks    Programming techniques    Software engineering    Programming languages, compilers, interpreters    Logics and meanings of programs    Mathematical logic and formal languages См. : Текст издания Доп.точки доступа: Bruni, R. \ed.\; SpringerLink (Online service) Свободных экз. нет