導讀： 簡介: 內容介紹：雖然真正從事形式化方面的工作的人員不多，但是有必要通過對該課程的學習，使學生在理論、技術和方法上都得到了系統而有效的訓練，有利於提高軟件人員的素質和 簡介:


內容介紹：
雖然真正從事形式化方面的工作的人員不多，但是有必要通過對該課程的學習，使學生在理論、技術和方法上都得到了系統而有效的訓練，有利於提高軟件人員的素質和能力，本書選取並介紹了三種代表性的形式化方法，它們分別是以集合論和一階謂詞演算為基礎的Z語言，以時態邏輯為基礎的XYZ，還有以直覺數學學派為基礎的類型理論，本書既可以作為計算機專業的研究生的形式化課程教材，又可以用作專業人員的參考書。
內容截圖：