Logic in computer science: modelling and reasoning about system
Material type:
TextPublication details: UK Oxford 2000Description: xviii,387p pISBN: 0-521-65602-8Subject(s): Computer logic
| Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Books | Jayakar Knowledge Resource Centre | Jayakar Knowledge Resource Centre | CS F.3.O N99 (Browse shelf(Opens below)) | Available | 419222 |
Total holds: 0
There are no comments on this title.