同类推荐
-
-
全彩图解电气控制线路
-
¥59.00
-
-
全彩图解电气控制线路
-
¥59.00
-
-
全彩图解电气控制线路
-
¥59.00
-
-
PLC应用技术（第4版）（微课版）（西门子S7-200…
-
¥69.80
-
-
电气与PLC控制技术
-
¥49.00
-
-
西门子S7-1200PLC技术项目教程
-
¥40.00
-
-
电气GIS局部放电光学感知与诊断技术
-
¥59.00
-
-
西门子S7-1200 PLC应用技术项目教程
-
¥49.00
-
-
PLC技术及应用
-
¥48.00
-
-
西门子S7-1200系列PLC原理及应用
-
¥59.00
|
|
图书信息
|
|
|
|
PLC程序组合检测理论与方法
|
| ISBN： | 9787302617587 |
定价： | ￥139.00 |
| 作者： | 肖力田，肖楠，李孟源著 |
出版社： | 清华大学出版社 |
| 出版时间： | 2022年11月 |
开本： | 25cm |
| 页数： | 15,262页 |
装祯： | 精装 |
中图法： | TM571.61 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
24
|
库区7/样本7
|
2025-09-10
|
|
其它供货商库存合计
|
8
|
|
2025-09-08
|
图书简介 | | 本书主要内容包括了软件检测验证需求背景和研究现状；阐述了组合检测体系架构、方法学和相关机理；按照IEC61131-3标准，形式化定义PLC程序指令的指称语义及其函数，形成统一语义和约束，分别从代码层、模型层、规约层和运行层组合检测验证PLC程序，提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数，以及定理证明验证技术框架；在计算资源有限的PLC上实现可信计算验证；相关性驱动优化检测流程方法等。 |
|