![內容虛線](http://img.alicdn.com/imgextra/i4/101450072/TB2uhKJhB0kpuFjSsppXXcGTXXa-101450072.png)
內容簡介
![size="789x11"](http://img.alicdn.com/imgextra/i2/101450072/TB2LvCmhxXkpuFjy0FiXXbUfFXa-101450072.png)
本書選取並介紹了三種代表性的形式化方法,它們分別是以集合論和一階謂詞演算為基礎的z語言,以時態邏輯為基礎的xyz,還有以直覺數學學派為基礎的類型理論。本書既可以作為計算機專業的研究生的形式化課程教材,又可以用作專業人員的參考書。雖然真正從事形式化方面的工作的人員不多,但是有必要通過對該課程的學習,使學生在理論、技術和方法上都得到了繫統而有效的訓練,有利於提高軟件人員的素質和能力。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
![]() | |||
|