| |
|
|
| |
|
|
|
|
|
|
|
ISBN |
9787030772848 |
| 定价 |
RMB108.00 |
| 售价 |
RM118.80 |
|
优惠价 |
RM83.16 * (-30%)
|
|
作者 |
劉關俊，何雷鋒
|
|
出版社 |
科學出版社
|
|
出版日期 |
2024-01-01 |
|
装订 |
平裝. 無. 196 页. |
| 库存量 |
購買後立即進貨
下单时可选择“空运”或“海运”（空运和海运需独立下单）。空运费每本书/CD是RM32.00。
空运需时8-11个工作天，海运需时约30个工作天。
（以上预计时间不包括出版社调货的时间以及尚未出版的预购商品）
库存有限或需要调货，订购时间可能延长。如无法订购则将通知进行退款。 |
| |
我要订购 有现货时通知我 |
| |
放入下次购买清单 |
| |
|
| |
|
|
|
| |
|
|
|
|
|
|
| |
|
|
| |
本書主要介紹原型Petri網、知識Petri網、帶有優先順序的時間Petri網，用於對有限狀態併發系統控制流、安全多方計算協議、多處理器搶佔式即時系統等在一定層級上的抽象建模，如刻畫併發、選擇、衝突、多方交互、多方認知過程、（搶佔式）資源配置、事件的即時性約束等。
本書介紹的計算樹邏輯、知識計算樹邏輯、時間計算樹邏輯等可以用於規約這些系統所關注的設計需求，如無鎖死、公平性、隱私性、可調度性、最壞執行時間等。
本書重點介紹使用這些Petri網模型驗證以上時序邏輯的演算法。另外，本書介紹簡化有序二叉決策圖，介紹如何將其用於表達Petri網的狀態、狀態間的遷移關係及狀態間的等價關係，並將其應用於計算樹邏輯與知識計算樹邏輯的模型檢測上。 |
|
| |
|
|
| |
|
|
| |
|
|
| |
購買中國簡體書籍請注意：
1. 因裝幀品質及貨運條件未臻完善，中國簡體書可能有出現磨痕、凹痕、折痕等問題，故簡體字館除封面破損、內頁脫落、缺頁等較嚴重的狀態外，其餘所有商品將正常出貨。
|
|
| |
|
|
|
