Image from Amazon.com
Computation engineering : applied automata theory and logic
Material type:
TextPublication details: Springer Science+Business Media Inc. 2006 New YorkDescription: xxxv, 471pISBN: - 0387244182
- 004.0151 G646c
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 004.0151 G646c (Browse shelf(Opens below)) | Available | A157163 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.0151 F329m Mathematical foundations of computer science [v.1 : Sets, Relations and Induction] | 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 |
There are no comments on this title.
Log in to your account to post a comment.