Image from Amazon.com
Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / editors Sungdeok Steve Cha ...[et al.]
Material type:
TextSeries: Publication details: New York : Springer, 2008Description: xiv, 430 p. : ill. ; 23 cmISBN: - 354088386X (pbk.)
- 9783540883869 (pbk.)
- QA76.9.A96 .A97 2008
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | QA76.9.A96 .A97 2008 (Browse shelf(Opens below)) | Available | 1000245181 | ||
| Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | QA76.9.A96 .A97 2008 (Browse shelf(Opens below)) | Available | 1000245180 |
Browsing PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH shelves, Shelving location: Main Library General Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.9.A93 .D38 2007 IT auditing : using controls to protect information assets / | QA76.9.A93 .D38 2011 IT auditing : using controls to protect information assets / | QA76.9.A96 .A97 2008 Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / | QA76.9.A96 .A97 2008 Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / | QA76.9.A96 .N48 2000 Automated theorem proving : theory and practice / | QA76.9.A97 .A38 2008 Advanced autonomic networking and communication / | QA76.9.A97 .C65 2009 Context-aware computing and self-managing systems / |
There are no comments on this title.
Log in to your account to post a comment.