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