程序驗(yàn)證和規(guī)范的形成方法

定　價(jià)：￥2.15

作　者：	（美）H.K.伯格（Helmut K.Berg）等著；宋國(guó)新等譯
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	程序驗(yàn)證

ISBN：	9787030002792	出版時(shí)間：	1988-04-01	包裝：
開(kāi)本：	19cm	頁(yè)數(shù)：	250頁(yè)	字?jǐn)?shù)：

　　本書全面地介紹了程序驗(yàn)證理論、規(guī)范及有關(guān)的方法，詳盡地闡述了有關(guān)的驗(yàn)證技術(shù)細(xì)節(jié)。

暫缺《程序驗(yàn)證和規(guī)范的形成方法》作者簡(jiǎn)介

暫缺《程序驗(yàn)證和規(guī)范的形成方法》目錄

掃描二維碼