Image from Amazon.com
The calculus of computation : decision procedures with applications to verification
Material type:
TextPublication details: Springer, New York : ©2007Description: xv, 366 p. : ill. ; 22cmISBN: - 9788184893960
- 004.015 BRA-C
| Item type | Current library | 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(Opens below)) | Available | 010354 | |||
|
Books
|
IIITD General Stacks | Computer Science and Engineering | 004.015 BRA-C (Browse shelf(Opens below)) | Available | 010355 | |||
|
Books
|
IIITD General Stacks | Computer Science and Engineering | 004.015 BRA-C (Browse shelf(Opens below)) | Not for loan | 009976 |
Total holds: 0
Includes bibliography and index
There are no comments on this title.