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 |
Browsing Amity Central Library Shelves Close shelf browser
No cover image available | No cover image available | |||||||
00 5.131 HER- P Programming in Matlab | 00 5.131 HOR- F Fundamentals of Computer Algorithms | 00 5.131 HUN- G A Guide to Matlab for Beginners and experienced users | 00 5.131 HUT- L Logic in Computer Science: | 00 5.131 IND- C Symbolic logic and logic parogramming: | 00 5.131 KLE- A Algorithm Design | 00 5.131 KLE- A Algorithm Design |
Ryan, Mark
There are no comments for this item.