Image from Amazon.com
Image from Google Jackets
Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth and Mark Ryan
Material type:
TextPublication details: New Delhi Cambridge University Press 2016Description: xiv, 427p. : ill. ; 24cmISBN: - 9780521670890
- 23rd 005.1015113 HUT
| Item type | Current library | Collection | Call number | Materials specified | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Reference Book | VIT-AP General Stacks | Reference | 005.1015113 HUT (Browse shelf(Opens below)) | Paper Back | Not For Loan (Restricted Access) | CSE | 012615 |
Browsing School of Computer Science Section shelves,Shelving location: General Stacks,Collection: Reference Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 SUM Software Engineering : | 005.1 SUM Software Engineering : Concepts and Practices / | 005.1 ZHU Software Design Methodology : | 005.1015113 HUT Logic in Computer Science : | 005.1068 WOL A Practical Guide to Continuous Delivery | 005.1076 POH Requirements Engineering Fundamentals : | 005.11 McCO Structured Parallel Programming : |
It includes Bibliography and Index Pages
There are no comments on this title.
Log in to your account to post a comment.