關于我們
書單推薦
新書推薦

PLC程序組合檢測理論與方法

PLC程序組合檢測理論與方法

定  價:139 元

叢書名:中國航天科技前沿出版工程·中國航天空間信息技術系列

        

  • 作者:肖力田、肖楠、李孟源
  • 出版時間:2022/11/1
  • ISBN:9787302617587
  • 出 版 社:清華大學出版社
  • 中圖法分類:TM571.61 
  • 頁碼:
  • 紙張:膠版紙
  • 版次:
  • 開本:16開
9
7
6
8
1
7
7
3
5
0
8
2
7

本書針對控制系統(tǒng)PLC程序的正確性和可信性檢測驗證問題,介紹了以形式化理論方法綜合運用形成組合檢測驗證體系,從多個層次檢測驗證PLC程序動態(tài)、靜態(tài)和運行的正確性

 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內容