登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入 新註冊 |　新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 心可以知道：先秦儒家“情”论 》 售價：NT$ 406.0 《 近代中国知识女性的文化谱系 》 售價：NT$ 510.0 《 黄埔军校史 1924-1927 》 售價：NT$ 718.0 《 复杂心智：在变动时代重启人类天赋能力 》 售價：NT$ 270.0 《 图像工程（第5版） 》 售價：NT$ 2070.0 《 权力制衡：罗马宪法对近代西欧宪制的影响 》 售價：NT$ 406.0 《 间谍大师：情报、技术与以色列商业创新 》 售價：NT$ 411.0 《 浪荡子美学与跨文化现代性：一九三零年代上海、东京及巴黎的浪荡子、漫游者与译者 》 售價：NT$ 354.0

建議一齊購買： + NT$ 1159 《 计算机体系结构：量化研究方法（第6版） 》 + NT$ 661 《 因果推断与机器学习（修订版） 》 + NT$ 684 《 计算机底层的秘密 》 + NT$ 568 《 计算机视觉中鲁棒几何模型拟合方法 》 + NT$ 442 《 控制之美（卷2）——最优化控制MPC与卡尔曼滤波器 》 + NT$ 400 《 控制之美（卷1）——控制理论从传递函数到状态空间 》 內容簡介： 本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求，如无死锁、公平性、隐私性、可调度性、最坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外，本书介绍简化有序二叉决策图，介绍如何将其用于表达 Petri 网的状态、状态间的迁移关系及状态间的等价关系，并将其应用于计算树逻辑与 知识计算树逻辑的模型检测上。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	香港用户　 |　台灣用户　|　海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.