同类推荐
-
-
可编程控制技术（三菱FX5U）(陶涛)
-
¥49.80
-
-
工业控制系统及应用:PLC与人机界面
-
¥79.00
-
-
工业控制系统及应用:PLC与人机界面
-
¥79.00
-
-
工业控制系统及应用:PLC与人机界面
-
¥79.00
-
-
电气控制与PLC应用技术:S7-200 SMART
-
¥69.00
-
-
电气控制与PLC应用技术:S7-200 SMART
-
¥69.00
-
-
电气控制与PLC应用技术:S7-200 SMART
-
¥69.00
-
-
电气控制与PLC（第2版）
-
¥56.00
-
-
现代电气控制及PLC应用技术:西门子S7-1200
-
¥56.80
-
-
PLC应用技术理实一体化教程:S7-1200
-
¥75.00
|
|
图书信息
|
|
|
|
PLC程序组合检测理论与方法
|
| ISBN： | 9787302617587 |
定价： | ￥139.00 |
| 作者： | 肖力田，肖楠，李孟源著 |
出版社： | 清华大学出版社 |
| 出版时间： | 2022年11月 |
开本： | 25cm |
| 页数： | 15,262页 |
装祯： | 精装 |
中图法： | TM571.61 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
4
|
|
2026-03-12
|
图书简介 | | 本书主要内容包括了软件检测验证需求背景和研究现状；阐述了组合检测体系架构、方法学和相关机理；按照IEC61131-3标准，形式化定义PLC程序指令的指称语义及其函数，形成统一语义和约束，分别从代码层、模型层、规约层和运行层组合检测验证PLC程序，提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数，以及定理证明验证技术框架；在计算资源有限的PLC上实现可信计算验证；相关性驱动优化检测流程方法等。 |
|