在线客服
登录 注册 购物车(0)   

优桃书网

您的位置：首页 > 图书分类 > 图书详情
#

（社版）XK基于Petri网的计算树逻辑模型检测（此书不退货）

当前价：
¥ 81.00
定价：
¥ 108.00
规格
数量
库存 0 件
  • 装帧:平装
  • 作者:刘关俊
  • ISBN:9787030772848
  • 出版日期:2024-1-1
  • 书名:（社版）XK基于Petri网的计算树逻辑模型检测（此书不退货）
  • 出版社:科学出版社
  • 开本:24cm
本书主要介绍原型Petri网、知识Petri网、带有优先级的时间Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、(抢占式)资源分配、事件的实时性约束等。
用户评价

为您推荐

C语言程序设计 第3版
C语言程序设计 第3版

徐孝凯

¥14.82 ¥39.0

Internet Explorer5.0职业技能培训教程操作员级
Internet Explorer5.0职业技能培训教程操作员级

本书编写组

¥7.0 ¥20.0

计算机初级操作员及文字录入员职业技能培训教程
计算机初级操作员及文字录入员职业技能培训教程

希文华 葛宁

¥6.3 ¥18.0

网页动画特效设计精粹
网页动画特效设计精粹

余强

¥19.14 ¥58.0

Outlook2002完全教程
Outlook2002完全教程

阎慧、王华峰

¥6.82 ¥22.0

Photoshop 7.0 速成教程
Photoshop 7.0 速成教程

本书编委会

¥7.5 ¥25.0

三合一中文Windows 98实用教程Windows 2000 Word 2000 Excel 2000 PowerPoint 2000 Internet Outlook 2000 Access 2000
三合一中文Windows 98实用教程Windows 2000 Word 2000 Excel 2000 PowerPoint 2000 Internet Outlook 2000 Access 2000

丛书编委员会编

¥6.0 ¥20.0

新编电脑基础教程Windows 2000 Word 2000 Excel 2000 PowerPoint 2000 Internet Outlook 2000 Access 2000
新编电脑基础教程Windows 2000 Word 2000 Excel 2000 PowerPoint 2000 Internet Outlook 2000 Access 2000

本书编写组

¥6.0 ¥20.0

FrontPage 2002完全教程
FrontPage 2002完全教程

孟东

¥6.82 ¥22.0

即学即用中文Office.XP
即学即用中文Office.XP

本书编写组

¥6.9 ¥23.0