注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當前位置： 首頁出版圖書科學技術計算機/網(wǎng)絡程序驗證和規(guī)范的形成方法

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

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

定　價：￥2.15

作　者： （美）H.K.伯格（Helmut K.Berg）等著；宋國新等譯
出版社： 科學出版社
叢編項：
標　簽： 程序驗證
ISBN： 9787030002792 出版時間： 1988-04-01 包裝：
開本： 19cm 頁數(shù)： 250頁 字數(shù)：  

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號