Logic in computer science : modelling and reasoning about systems, : pbk

Logic in computer science : modelling and reasoning about systems, : pbk

Michael Huth, Mark Ryan

2nd ed.

Cambridge : Cambridge University Press, 2004

図書等

巻号情報

: pbk
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.1-H98

10005023907

一般図書

詳細情報

刊年

2004

形態

xiv, 427 p. : ill. ; 25 cm

注記

Includes bibliographical references and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Huth, Michael, 1962- [ Huth, M ]

Ryan, Mark [ Ryan, M. D ]

分類

LCC:QA76.9.L63

件名

Computer logic

ISBN

052154310X (: pbk)

NCID

BA68182231