libcats.org
Главная

Abstraction, Refinement and Proof for Probabilistic Systems

Обложка книги Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

,
Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic - but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance and, in distributed systems, almost-certain symmetry breaking.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Недотрога

Автор:
Размер книги: 6 Kb

Украденная невеста

Автор:
Размер книги: 338 Kb

Complete Us Patents Of Nikola Tesla Free Energy Electricity Alternative

Автор:
Категория: Free Energy
Размер книги: 40.24 Mb

Eloge de la Folie

Автор:
Категория: Philosophy
Размер книги: 729 Kb

Exploring Psychology

Автор:
Размер книги: 20.16 Mb

La Autopsia Spanish

Автор:
Размер книги: 1.75 Mb

Breakwaters and Closure Dams

Автор: , Автор:
Размер книги: 26.43 Mb