Robin Milner Communicating and Mobile Systems: the pi-calculus

 Скачать бесплатно

Вы также можете скачать книгу по ссылкам:
Зеркало natahaus.ifolder.ru
Премиум RapidShare.com

ISBN: 0 521 65869
Издатель: Cambridge University Press
Год издания: 1999
Страниц: 175
Качество: отличное

Книга рассказывает об одном из популярных на Западе направлений в Computer Science (теоретическом программировании) - pi-calculus. Данная теория предоставляет математический аппарат для доказательства свойст распределенных алгоритмов. В частности она часто используется при доказательстве правильности коммуникационных протоколов. Атор книги, Робин Милнер, является основоположником и одним из наиболее активных исследователей этого направления.
Книга написана для студентов; материал излагается простым языком, что делает книгу понятной для студентов 3-их курсов математических факультетов (в отличиет от большинства книг по математике на русском языке).
Выложены сканы книги в формате djvu. Качество картинки отличное, а вот качество сканирования местами не очень, хотя текст везде читается без проблем.
Книги по теме Наука и образование

В.И.Смирнов Курс высшей математики. В пяти томах. Тт.1,2.

Том 1Издательство: НаукаГод издания: 1974 ,издание 23-еСтраниц: 479Язык: русскийФормат:…

Счетная линейка.

Будет интересно узнать на чем считали ваши деды и отцы в XX веке, а если у…

Иллюстрированная Энциклопедия Космической Технологии

К.Гэтланд - КОСМИЧЕСКАЯ ТЕХНИКАИллюстрированная Энциклопедия Космической ТехнологииИздательство:М.

Лотоцкий К.В - Электрические машины

Лотоцкий К.В - Электрические машиныВ учебном пособии излагаются основные…

Книги одного из авторов квантовой механики о науке ,жизни , философии.

Э.ШредингерПрирода и греки(2001 , 81 стр , 1.09 Mb)Автор книги — один из создателей квантовой механики…

Популярные книги

Черная полоса - белая!

Практическое руководство по управлению своей судьбой. Говорите, судьбу нельзя изменить?…

Имя и общество

В книге исследуются личные имена, фамилии и другие виды антропонимов различных народов…

Официальная и народная медицина

Самая подробная энциклопедия. Когда со здоровьем что-то не так, у нас возникает резонный…

Православные святые - кто они?

Перу доктора философских наук, профессора Н.С. Гордиенко принадлежит ряд книг, содержащих…

Младенец и ребенок. От рождения до пяти лет

Автор книги ведет непринужденный разговор о развитии ребенка от рождения до пятилетнего…

5 языков любви

Знания этих 5 языков любви помогут вам наладить отношения в семье и даже спасти уже разрушающийся…

Алхимик

"Алхимик" совсем не похож на "Чайку Джонатана" или "Иллюзии" Ричарда Баха…

Одиннадцать минут

Мария разочаровалась в любви и сексе, и образ двух влюбленных, слившихся душой и телом в…

Подсознание может все

В уединении средь лесов канадской провинции Британская Колумбия автор 3 года размышлял…

Легкий способ бросить курить

Книга может помочь бросить вам курить. Здесь нет шокотерапии, у автора для вас исключительно…