Record:   Prev Next
作者 Huth, Michael, 1962-
書名 Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
出版項 New York : Cambridge University Press, 2000
國際標準書號 0521652006
0521656028 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 H979    在架上    30330000139175
說明 xvii, 387 p. ; 25 cm
附註 Includes bibliographical references (p.375-377)
主題 Computer logic
Alt Author Ryan, Mark, 1962-
Alt Title Modelling and reasoning about systems
Record:   Prev Next