關(guān)于我們
書(shū)單推薦
新書(shū)推薦

PLC程序組合檢測(cè)理論與方法

PLC程序組合檢測(cè)理論與方法

定  價(jià):139 元

叢書(shū)名:中國(guó)航天科技前沿出版工程·中國(guó)航天空間信息技術(shù)系列

        

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

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

 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容