< B語(yǔ)言與方法：實(shí)用形式化開發(fā)指南>>
本書介紹了B抽象機(jī)符號(hào)語(yǔ)言以及用于支持形式化規(guī)格說明和高集成
系統(tǒng)開發(fā)的方掛。首先，介紹了B 語(yǔ)言的發(fā)展歷史及與其他語(yǔ)言的關(guān)系，然
后，從集合、序列等基本數(shù)學(xué)符號(hào)表示到B 語(yǔ)言的結(jié)構(gòu)化機(jī)制，再到它所支
持的大型程序設(shè)計(jì)方法，全面地介細(xì)了B 符號(hào)語(yǔ)言的描述方法。
標(biāo)簽：
gt
語(yǔ)言
lt
開發(fā)指南
上傳時(shí)間：
2014-11-29
上傳用戶：康郎
