主畫面 | 輔助說明 | 重新查詢 | English Mode

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
作者 Bradley, Aaron R
書名 The Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna.
出版項 Berlin : Springer, 2007
國際標準書號 3540741127
9783540741121
9783540741138 (electronic bk.)
 book jacket
請按以下連結
Table of contents
Publisher description
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 B811    在架上    30330000230446
說明 xv, 366 p. : ill. ; 25 cm
附註 Includes bibliographical references (p.[351]-355) and index
主題 Computer logic
Computer programs -- Verification
Alt Author Manna, Zohar
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode