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
館藏地 索書號 處理狀態 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