A First course in formal logic and its applications in computer science / R.D. Dowsing, V. J. Rayward-Smith and C.D. Walter
By: Dowsing, R.D | Rayward-Smith, V. J | Walter, C.D.
Publisher: Oxford Blackwell scientific publications 1986Description: vi, 265 p.ISBN: 0632016124.Subject(s): Computer science-Mathematics
| Programming (Mathematics)DDC classification: 005.131
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books in Stacks (S)
|
Main Library General Section | S | 005.131 DOW (Browse shelf) | Available | 283553 |
Browsing Main Library Shelves , Shelving location: General Section , Collection code: S Close shelf browser
| No cover image available |
|
|
|
No cover image available |
|
|
||
| 005.12 OBJ OBJECT-ORIENTED modeling and design | 005.12 WHI Systems analysis and design methods / | 005.13 MAR Computer programming: basic and fortran /' | 005.131 DOW A First course in formal logic and its applications in computer science | 005.133 BUG The Visual C++ construction kit: a programmer's resource / | 005.133 DEI Java How to Program | 005.133 DEI C how to program [with CD] / |
Includes references and index.
There are no comments for this item.