Automated Technology For Verification And Analysis; Second International Conference, ATVA 2004 Taipei Taiwan ROC October 31-November 3 2004 : proceeding
Material type:
TextLanguage: English Publication details: Springer New York 2007Edition: 5thDescription: 566ISBN: - 9783540755951
- AUT
Books
| 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 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Doon University | AUT (Browse shelf(Opens below)) | Available | 20948 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.