|
libcats.org
Abstraction, Refinement and Proof for Probabilistic SystemsAnnabelle McIver, Charles Carroll MorganAbstraction, 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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#2
Д.И.Атаев, В.А.Болотников. Функциональные узлы усилителей высококачественного звуковоспроизведения (МБР-1140, 1989, djvu)
3.54 Mb
#7
Практическая книга бонсайВ.Каволлек.Категория: 2262180-85 книг по комнатному цветоводству, Бонсай
6.62 Mb
|
|