Hardware and software verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
Bok Engelsk 2006 International Haifa Verification Conference
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | X, 264 s. : ill.
|
| Emner | |
| ISBN | 3540326049. - 9783540326045
|
