Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
-
| | | | | International Haifa Verification Conference(2nd: 2006: Haifa, Israel) |
| | Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers. - Berlin;. - New York , 2007. | | xii, 234 p. : ill. ; 24 cm Lecture notes in computer science 4383. | | ISBN 9783540708889 (pbk.) | | .-ISBN 354070888X (pbk.). | | | | 1. Computer programs - Congresses - Verification 2. Software architecture - Congresses 3. Computer input-output equipment - Congresses - Verification 4. Computer software - Congresses - Verification 5. Integrated circuits - Congresses - Verification.I. Bin, Eyal II. Ziv, Avi III. Ur, Shmuel IV. Title V. Series | | | Library : UiTM Shah Alam |
| | Accn No. | Item Status | Add Id | Location | SMD | Item Category | | 687555 | Shelf | | PERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4) | BOOK | RAK TERBUKA (OPEN SHELVES) | | 696085 | Shelf | | PERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4) | BOOK | RAK TERBUKA (OPEN SHELVES) |
|
|
|
