Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Language: İngilizce Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN:- 052154310X (pbk.)
- QA76.9.L63 H88 2004
Item type | Current library | Home library | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
Reserve-3h | Merkez Kütüphane Ayrılmış Ders Kitapları / Course Reserves | Merkez Kütüphane | Ayrılmış ders kitapları | RES QA76.9.L63 H88 2004 (Browse shelf(Opens below)) | 1 | 1 | Available | 0017043 |
There are no comments on this title.
Log in to your account to post a comment.