离散数学及其应用(原书第5版) 中文

定价：¥79.00 旧书价：¥16.90 节约：¥62.10 库存： 官网有售

9787111203261 / (美)罗森 袁崇义 / 机械工业出版社 / 2007年06月 / 804页 / 约重1.199KG

简介：本书是经典的离散数学教材,为全球多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法,内容涉及数学推理、组合分析、离散结构和算法设计。全书取材广泛,除包括定义、定理的严密陈述外,还配备大量的实……

Petri网应用

定价：¥50.00 旧书价：¥20.00 节约：¥30.00 库存： 店铺有售

9787030366375 / 袁崇义 / 科学出版社

离散数学及其应用(原书第4版)

定价：¥75.00 旧书价：¥18.40 节约：¥56.60 库存： 店铺有售

9787111075776 / (外国)(Rosen) 袁崇义 / 机械工业出版社 / 2002年01月 / 801页 / 约重1.281KG

简介：本书介绍了离散数学的理论和方法,内容涉及数学推理、组合分析、离散结构和算法设计。本书取材极其广泛,除包括定义、定理的严密陈述外,还配备大量的实例和图、表的说明,适合各种需求的练习和题目,以及丰富的历史……

Petri网原理与应用——高等学校规划教材

定价：¥32.00 旧书价：¥12.80 节约：¥19.20 库存： 店铺有售

9787121009709 / 袁崇义 / 电子工业出版社 / 2005年03月 / 285页 / 约重0.460KG

简介：Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。 本书是对《Petri网原理……

OESPA：面向语义的编程理论（英文版）（OESPA: Semantic Oriented Theory of Programming）

定价：¥120.00 旧书价：¥48.00 节约：¥72.00 库存： 店铺有售

9787030600936 / 袁崇义 / 科学出版社 / 2019年08月 / 200页

简介：传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算，……

PETRI网原理

定价：¥16.00 旧书价：¥6.40 节约：¥9.60 库存： 店铺有售

9787505344396 / 袁崇义 / 电子工业出版社 / 1998年04月 / 198页