Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan.
Material type:
TextPublication details: Cambridge Cambridge University Press, 2004.Edition: 2nd edDescription: xiv; 427 p. ; 25 cmISBN: - 052154310X (paperback)
- 9780521543101 (paperback)
| Item type | Current library | Collection | Call number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
Air University Central Library Islamabad Computer Science | NFIC | 005.1015 HUT (Browse shelf(Opens below)) | Available | Program Relevancy: BSCS; Course Relevancy: Programming languages | P11024 |
Browsing Air University Central Library Islamabad shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
No cover image available | ||
| 005.1 WHI Systems analysis and design methods / | 005.10068 BRO The mythical man-month and other essays on software engineering / | 005.101 STA Computer organization and architecture : designing for performance | 005.1015 HUT Logic in computer science : modelling and reasoning about systems | 005.1015113 GRA Logic and discrete mathematics : | 005.1068 FUT Quality software project management / | 005.1068 NII Basics of Software Project Management |
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8.
There are no comments on this title.