| 期刊全稱 | Abstraction, Refinement and Proof for Probabilistic Systems | | 影響因子2023 | Annabelle McIver,Carroll Morgan | | 視頻video | http://file.papertrans.cn/144/143486/143486.mp4 | | 發(fā)行地址 | 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 | | 學(xué)科分類 | 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影響因子(影響力)學(xué)科排名
書目名稱Abstraction, Refinement and Proof for Probabilistic Systems網(wǎng)絡(luò)公開度
書目名稱Abstraction, Refinement and Proof for Probabilistic Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Abstraction, Refinement and Proof for Probabilistic Systems被引頻次
書目名稱Abstraction, Refinement and Proof for Probabilistic Systems被引頻次學(xué)科排名
書目名稱Abstraction, Refinement and Proof for Probabilistic Systems年度引用
書目名稱Abstraction, Refinement and Proof for Probabilistic Systems年度引用學(xué)科排名
書目名稱Abstraction, Refinement and Proof for Probabilistic Systems讀者反饋
書目名稱Abstraction, Refinement and Proof for Probabilistic Systems讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-29 17:43
發(fā)表于 2025-3-21 17:58:39
