Image from Amazon.com
Logic in computer science : modelling and reasoning about systems
Material type:
TextPublication details: Cambridge Cambridge University Press 2000Description: xvii, 387pISBN: - 0521652006
- 004.0151 H971l
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 004.0151 H971l (Browse shelf(Opens below)) | Available | A131134 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.0151 G188d3 Discrete mathematics proofs, structures, and applications [3rd edition] | 004.0151 G322m5 Mathematical structures for computer science [5th ed.] | 004.0151 G646c Computation engineering applied automata theory and logic | 004.0151 H971l Logic in computer science modelling and reasoning about systems | 004.0151 M289s Sets, logic and maths for computing | 004.0151 M337p Probabilistic and statistical methods in computer science | 004.0151 M42 Mathematics and computer science algorithms, trees, combinatorics and probabilities |
There are no comments on this title.
Log in to your account to post a comment.