Logic in Computer Science: Modelling and Reasoning About Systems
by Huth (Michael); Ryan (Mark)
Edition statement:2 ISBN:0-521-67089-6.
Subject(s):
Computer Science
Year: 2005
| Item type | Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Kumaraguru College of Technology | 681.3.2 HUT (Browse shelf) | Available | CSE | 39851 |
22.5
Computer Science
There are no comments for this item.