登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』基于Petri网的计算树逻辑模型检测

書城自編碼： 3945688
分類：簡體書→大陸圖書→計算機/網絡→计算机理论
作者： 刘关俊，何雷锋
國際書號(ISBN)： 9787030772848
出版社： 科学出版社
出版日期： 2024-01-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 124.2

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
妈妈的情绪，决定孩子的未来
《 妈妈的情绪，决定孩子的未来 》
售價：HK$ 42.6
推拿纲目
《 推拿纲目 》
售價：HK$ 403.2
精致考古--山东大学实验室考古项目论文集（一）
《 精致考古--山东大学实验室考古项目论文集（一） 》
售價：HK$ 244.2
从天下到世界——国际法与晚清中国的主权意识
《 从天下到世界——国际法与晚清中国的主权意识 》
售價：HK$ 76.2
血色帝国：近代英国社会与美洲移民
《 血色帝国：近代英国社会与美洲移民 》
售價：HK$ 58.2
海外中国研究·王羲之：六朝贵族的世界（艺术系列）
《 海外中国研究·王羲之：六朝贵族的世界（艺术系列） 》
售價：HK$ 178.1
唐宋绘画史 全彩插图版
《 唐宋绘画史 全彩插图版 》
售價：HK$ 98.6
海洋、岛屿和革命：当南方遭遇帝国（文明的另一种声音）
《 海洋、岛屿和革命：当南方遭遇帝国（文明的另一种声音） 》
售價：HK$ 106.4

 
建議一齊購買：

+

HK$ 229.8
《计算机体系结构：量化研究方法（第6版）》		 +

HK$ 135.7
《因果推断与机器学习（修订版）》		 +

HK$ 135.7
《计算机底层的秘密》		 +

HK$ 112.7
《计算机视觉中鲁棒几何模型拟合方法》		 +

HK$ 90.9
《控制之美（卷2）——最优化控制MPC与卡尔曼滤波器》		 +

HK$ 79.4
《控制之美（卷1）——控制理论从传递函数到状态空间》
內容簡介：
本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求，如无死锁、公平性、隐私性、可调度性、最坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外，本书介绍简化有序二叉决策图，介绍如何将其用于表达 Petri 网的状态、状态间的迁移关系及状态间的等价关系，并将其应用于计算树逻辑与 知识计算树逻辑的模型检测上。

 

 

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