Logic in computer science : modelling and reasoning about systems
Material type:
TextPublication details: New York Cambridge University Press 2021Edition: 2ndDescription: xiv,427pDDC classification: - 005.1015113
| Item type | Current library | Home library | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
School of Computer Engineering Library | School of Computer Engineering Library | 005.1015113 (Browse shelf(Opens below)) | Available | 2022-09-13 | SCE97678 |
There are no comments on this title.
Log in to your account to post a comment.