Roscoe, A.     Understanding concurrent systems [Electronic resource] / A. Roscoe. - Electronic text data. - London : Springer, 2011. - (Texts in computer science, ISSN 1868-0941). - ISBN 978-1-84882-258-0 : Б. ц. Рубрики: Computer science    Operating systems (computers)    Logic design    Computer science    Operating systems    Logics and meanings of programs См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет