Image from Amazon.com
Image from Google Jackets
Computer-aided reasoning : an approach Advances in formal methods
Material type:
TextPublication details: Netherland kluwer Academic 2000Description: 270ISBN: - 9780792377443
- 004.0151 KAU
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Book Bank
|
CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 1 | Available | 26884 | ||||||||||||
|
Book Bank
|
CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 2 | Available | 26885 | ||||||||||||
|
Book Bank
|
CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 3 | Available | 26886 |
There are no comments on this title.
Log in to your account to post a comment.