Logic in computer science : modelling and reasoning about systems / Michael Huth, Department of Computing, Imperial College London, United Kingdom, Mark Ryan, School of Computer Science, University of Birmingham, United Kingdom.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- unmediated
- volume
- 052154310X (pbk.)
- 9780521543101
- 005.1015113 HUT 22
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library Lower Floor | Baccah | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 000050282 |
Total holds: 0
Browsing Central Library shelves, Shelving location: Lower Floor Close shelf browser (Hides shelf browser)
005.101 MIT An introduction to genetic algorithms / | 005.101 MIT An introduction to genetic algorithms / | 005.101 MIT An introduction to genetic algorithms / | 005.1015113 HUT Logic in computer science : modelling and reasoning about systems / | 005.1068 BIT Managing iteractive software development projects / | 005.1068 CHE Requirements engineering and management for software development projects / | 005.1068 HEN Software project management : |
Includes bibliographical references and index.
There are no comments on this title.