Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan.
Publication details: Delhi Cambridge University Press, 2016Edition: 2nd editionDescription: xiv, 427 pISBN:- 052154310X (pbk.)
- 004.0151 H971L 23
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 H971L (Browse shelf(Opens below)) | Available | 8120 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 H971L (Browse shelf(Opens below)) | Available | 8126 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 H971L (Browse shelf(Opens below)) | Available | 8124 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 H971L (Browse shelf(Opens below)) | Available | 8125 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 H971L (Browse shelf(Opens below)) | Available | 8123 | ||||
|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.0151 H971L (Browse shelf(Opens below)) | Not For Loan | Reserve | 8119 | ||
|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.0151 H971L (Browse shelf(Opens below)) | Not For Loan | Reserve | 8118 | ||
|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 H971L (Browse shelf(Opens below)) | Available | 8121 | ||||
|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.0151 H971L (Browse shelf(Opens below)) | Not For Loan | Reserve | 8117 | ||
|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 H971L (Browse shelf(Opens below)) | Available | 8122 |
Browsing Central Library, IISER Bhopal shelves, Shelving location: General Section Close shelf browser (Hides shelf browser)
| 004.0151 B145P Process algebra : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : |
Includes bibliographical references (p. 414-417) and index.
There are no comments on this title.
Log in to your account to post a comment.