Logic in Computer Science: Modelling and Reasoning about Systems
Material type:
TextLanguage: English Publication details: New York.: Cambridge University Press, 2004Edition: 2nd edDescription: xiv;427p. PAPER BACK 24cmISBN: 9780521670890Subject(s): Computer scienceDDC classification: 005.1015113 Summary: Logic, computer, science
| Item type | Current library | Home library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|---|
Books
|
ADBU Azara Campus Library CSE & IT Shelves | ADBU Azara Campus Library CSE & IT Shelves | Non-fiction | 005.1015113 HUT (Browse shelf(Opens below)) | 1 | Available | Place in school of technology library | 6829 |
Browsing ADBU Azara Campus Library shelves, Shelving location: CSE & IT Shelves, Collection: Non-fiction Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 STE Applied Software Project Management | 005.1 VEN. Prelude to programming : | 005.1 VIE Building secure software : | 005.1015113 HUT Logic in Computer Science: | 005.106 8 BRO Enterprise software delivery : | 005.106 HER Software project management: | 005.106 HER Software project management: |
Computer Science
Logic, computer, science
There are no comments on this title.