Logic in computer science: modelling and reasoning about systems.
Material type:
TextPublication details: New York Cambridge university press 2000Description: xvi;387pDDC classification: - 511.3 H779L
| Item type | Current library | Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Books and Monographs | Central Library, NIT Jalandhar General Stacks | Central Library, NIT Jalandhar | 511.3 H779L (Browse shelf(Opens below)) | Available | 75103 |