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