Logic in computer science modelling and reasoning about systems
Material type:
TextPublication details: New York ; Cambridge University Press ; 2004Edition: 2Description: 427ISBN: 052154310XSubject(s): Computer logic. Logic programming (Computer science)
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3.06 HUT (Browse shelf (Opens below)) | Available | 52635 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
No cover image available |
|
No cover image available | ||
| 681.3.06 HOR Fundamentals of programming languages | 681.3.06 HUB Programming with C++ | 681.3.06 HUET Logical foundations of functional programming | 681.3.06 HUT Logic in computer science | 681.3.06 ICC Symbolic languages in data processing | 681.3.06 IEEE Computational complexity | 681.3.06 INCE Introduction to discrete mathematics and formal system specification |
There are no comments on this title.