Logic in computer science modelling and reasoning about system/ Michael Huth
Material type:
TextPublication details: NewYork: Huth ,Ryan 1999.Description: xvii,387 pISBN: - 0521652006
- QA76.9.L63H88 1999
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
L
|
Maasai Mara University Library -Main Campus | QA76.9.L63H88 1999 (Browse shelf(Opens below)) | Available | 17020975 |
Browsing Maasai Mara University Library -Main Campus shelves Close shelf browser (Hides shelf browser)
| QA 76.9 .K48J64 2004 Glencoe Keyboarding with Computer Applications: Lessons 1-150/ | QA 76.9 .K57 2009 Advanced Functions/ | QA76.9.L37 1998 Applying UML and Patterns/ | QA76.9.L63H88 1999 Logic in computer science modelling and reasoning about system/ | QA76.9.M3W35 2001 IT problem management / | QA 76.9 .M35 2012 Mathematics for computer scientists: | QA76.9.M35 2012 Mathematics for computer scientists/ |
Includes bibliographical references and index
There are no comments on this title.
Log in to your account to post a comment.