Cart
The calculus of computation : decision procedures with applications to verification
By: Bradley, Aaron R.
Contributor(s): Manna, Zohar.
Material type:
BookPublisher: New York : Springer, ©2007Description: xv, 366 p. : ill. ; 22cm.ISBN: 9788184893960.Subject(s): Computer science and engineering | Computer logic | Computer programs verification | Logic design | Algorithms
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|---|
Books
|
IIITD General Stacks | Computer Science and Engineering | 004.015 BRA-C (Browse shelf) | Available | 010354 | |||
|
Books
|
IIITD General Stacks | Computer Science and Engineering | 004.015 BRA-C (Browse shelf) | Available | 010355 | |||
|
Books
|
IIITD General Stacks | Computer Science and Engineering | 004.015 BRA-C (Browse shelf) | Not for loan | 009976 |
Total holds: 0
Includes bibliography and index
There are no comments for this item.