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 |
Browsing Merkez Kütüphane shelves, Shelving location: Ayrılmış Ders Kitapları / Course Reserves, Collection: Ayrılmış ders kitapları Close shelf browser (Hides shelf browser)
| RES QA76.9.D3 E57 2007 Fundamentals of database systems / | RES QA76.9.D3 E57 2007 Fundamentals of database systems / | RES QA76.9.D3 E57 2007 Fundamentals of database systems / | RES QA76.9.L63 H88 2004 Logic in computer science : | RES QA76.73.C153 D45 2010 C++ how to program / | RES QA76.73.C153 D45 2010 C++ how to program / | RES QA76.73.J38 S27 2004 JAVA : an introduction to computer science & programming / |
There are no comments on this title.
Log in to your account to post a comment.
