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