Robin Milner Communicating and Mobile Systems: the pi-calculus (Robin Milner)
Книга рассказывает об одном из популярных на Западе направлений в Computer Science (теоретическом программировании) - pi-calculus. Данная теория предоставляет математический аппарат для доказательства свойст распределенных алгоритмов. В частности она часто используется при доказательстве правильности коммуникационных протоколов. Атор книги, Робин Милнер, является основоположником и одним из наиболее активных исследователей этого направления.
Книга написана для студентов; материал излагается простым языком, что делает книгу понятной для студентов 3-их курсов математических факультетов (в отличиет от большинства книг по математике на русском языке).
Выложены сканы книги в формате djvu. Качество картинки отличное, а вот качество сканирования местами не очень, хотя текст везде читается без проблем.
ISBN: 0 521 65869
Издатель: Cambridge University Press
Год издания: 1999
Страниц: 175
Язык: английский
Качество: отличное
комментариев нет