Logic in Computer Science Modelling and Reasoning about Systems
Material type:
TextPublication details: New York Cambridge University Press 2004Edition: 2ndDescription: XIV+427PISBN: 0-521-67089-6Subject(s): Logic in Computer Science | Logic | in | Computer | Science | Logic in Computer Science
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2 (Browse shelf (Opens below)) | Available | 32047 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;1 (Browse shelf (Opens below)) | Available | 32048 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;2 (Browse shelf (Opens below)) | Available | 32049 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;3 (Browse shelf (Opens below)) | Available | 32050 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;4 (Browse shelf (Opens below)) | Available | 32051 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;5 (Browse shelf (Opens below)) | Available | 32052 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;6 (Browse shelf (Opens below)) | Available | 32053 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;7 (Browse shelf (Opens below)) | Available | 32054 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;8 (Browse shelf (Opens below)) | Available | 32055 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;9 (Browse shelf (Opens below)) | Available | 32056 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | M.Tech CSE | 005.131 HUT 2;10 (Browse shelf (Opens below)) | Checked out | 05/03/2295 | 32057 |
Browsing MVJCE CENTRAL LIBRARY shelves, Collection: M.Tech CSE Close shelf browser (Hides shelf browser)
| 005.131 HUT 2;6 Logic in Computer Science Modelling and Reasoning about Systems | 005.131 HUT 2;7 Logic in Computer Science Modelling and Reasoning about Systems | 005.131 HUT 2;8 Logic in Computer Science Modelling and Reasoning about Systems | 005.131 HUT 2;9 Logic in Computer Science Modelling and Reasoning about Systems | 005.131 MAR 3 Introduction to Languages and The Theory of Computation | 005.133 KAN;0 Hands-On Data Science and Python Machine Learning | 005.133 KAN;01 Hands-On Data Science and Python Machine Learning |
There are no comments on this title.