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

形式化方法導(dǎo)論(第2版)

形式化方法導(dǎo)論(第2版)

定  價(jià):69 元

叢書名:高等學(xué)校軟件工程專業(yè)系列教材

        

  • 作者:張廣泉
  • 出版時(shí)間:2023/3/1
  • ISBN:9787302626602
  • 出 版 社:清華大學(xué)出版社
  • 中圖法分類:TP301.2 
  • 頁碼:300
  • 紙張:
  • 版次:2
  • 開本:16開
9
7
6
8
2
7
6
3
6
0
0
2
2

讀者對象:本書適合作為高等院校計(jì)算機(jī)、軟件工程、網(wǎng)絡(luò)工程、信息安全、自動(dòng)化等專業(yè)高年級本科生、研究生的教材, 同時(shí)可供相關(guān)領(lǐng)域的研究人員和技術(shù)開發(fā)人員參考

形式化方法是指有嚴(yán)格數(shù)學(xué)基礎(chǔ)的軟件和系統(tǒng)開發(fā)方法,支持軟件與系統(tǒng)的規(guī)約、設(shè)計(jì)、驗(yàn)證與演化等活動(dòng)。隨著軟件可信需求的不斷增長,形式化方法的重要性和關(guān)注度日益提高。

本書共12章,第1章概述形式化方法,第2章介紹形式化方法發(fā)展早期的經(jīng)典內(nèi)容,其余部分共分3篇: 上篇(第3~5章)為系統(tǒng)建模篇,著重介紹遷移系統(tǒng)、有窮自動(dòng)機(jī)、Petri網(wǎng)等基本計(jì)算模型; 中篇(第6和第7章)為形式規(guī)約篇,著重討論時(shí)序邏輯及其在并發(fā)系統(tǒng)屬性描述的應(yīng)用; 下篇(第8~12章)為形式驗(yàn)證篇,著重介紹定理證明方法和并發(fā)、實(shí)時(shí)及混成系統(tǒng)的各種模型檢測方法及相關(guān)驗(yàn)證工具。全書提供了大量應(yīng)用實(shí)例,每章后均附有習(xí)題。

本書適合作為高等院校計(jì)算機(jī)、軟件工程、人工智能、網(wǎng)絡(luò)工程、信息安全、自動(dòng)化等專業(yè)高年級本科生、研究生的教材,同時(shí)可供相關(guān)領(lǐng)域的研究人員和技術(shù)開發(fā)人員參考。
 你還可能感興趣
 我要評論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容