Logic in Computer Science: modelling and reasoning about systems
By: Huth, Michael.
Contributor(s): Ryan, Mark.
Publisher: New York Cambridge Uni. Press 2005Edition: 2nd.Description: xiv,427p.ISBN: 0 521670896; 9780521670890.DDC classification: 00 5.131Item type | Current location | Call number | Status | Notes | Date due |
---|---|---|---|---|---|
Books |
Amity Central Library
Amity Central Library, Noida |
00 5.131 HUT- L (Browse shelf) | Available | AE 47592 |
Ryan, Mark
There are no comments for this item.