当前位置：首页 > 名称
大约有60,000项符合查询结果项。（搜索耗时：0.0399秒）
为您推荐： 线性代数与解析几何第五版 算法设计与分析第三版 金属学与热处理第三版 课程与教学论第三版 电磁场与电磁波第三版 食品加工与保藏原理 第三版
-
-
-
-
-
-
-
-
进程代数 对称与动作细化 【工业技术】
王永祥，吴心昭，蒋建民著2007 年出版88 页ISBN：7030188659本书针对进程代数语言提出了对称性的概念，并给出了对称约简算法，同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的，最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。...
-
-
学科分类