| 期刊全称 | Abstraction, Refinement and Proof for Probabilistic Systems | | 影响因子2023 | Annabelle McIver,Carroll Morgan | | 视频video | | | 发行地址 | This unique, example-driven monograph integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probab | | 学科分类 | Monographs in Computer Science | | 图书封面 |  | | 影响因子 | .Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important....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. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games....Topics and fea | | Pindex | Book 2005 |
The information of publication is updating
书目名称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网络公开度学科排名
书目名称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年度引用学科排名
书目名称Abstraction, Refinement and Proof for Probabilistic Systems读者反馈
书目名称Abstraction, Refinement and Proof for Probabilistic Systems读者反馈学科排名
|
|
|
发表于 2025-3-21 17:58:39
