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

定　價：￥39.00

作　者：	張廣泉
出版社：	清華大學(xué)出版社
叢編項：
標　簽：	工學(xué) 教材研究生/本科/?？平滩?/td>

購買這本書可以去

ISBN：	9787302411611	出版時間：	2015-12-01	包裝：	平裝
開本：		頁數(shù)：		字數(shù)：

內(nèi)容簡介

　　形式化方法是指有嚴格數(shù)學(xué)基礎(chǔ)的軟件和系統(tǒng)開發(fā)方法，支持軟件與系統(tǒng)的規(guī)約、設(shè)計、驗證與演化等活動。隨著軟件可信需求的不斷增長，形式化方法的重要性和關(guān)注度日益提高。全書共12章，第1章概述形式化方法，第2章介紹形式化方法發(fā)展早期的經(jīng)典內(nèi)容，其余部分共分3篇：上篇（第3～5章）為系統(tǒng)建模篇，著重介紹遷移系統(tǒng)、有窮自動機、Petri網(wǎng)等基本計算模型；中篇（第6和第7章）為形式規(guī)約篇，著重討論時序邏輯及其在并發(fā)系統(tǒng)屬性描述的應(yīng)用；下篇（第8～12章）為形式驗證篇，除介紹演繹證明方法外，著重介紹驗證并發(fā)、實時及混成系統(tǒng)的各種模型檢測方法及相關(guān)驗證工具。全書提供了大量應(yīng)用實例，每章后均附有習題。本書適合作為高等院校計算機、軟件工程、網(wǎng)絡(luò)工程、信息安全、自動化等專業(yè)高年級本科生、研究生的教材，同時可供相關(guān)領(lǐng)域的研究人員和技術(shù)開發(fā)人員參考。