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.).
| Author/creator | International Haifa Verification Conference |
| Format | Electronic |
| Publication Info | Berlin : Springer-Verlag, ©2006. |
| Description | x, 264 pages : illustrations. |
| Supplemental Content | http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3875 |
| Subjects |
| Other author/creator | Ur, Shmuel. |
| Other author/creator | Bin, Eyal. |
| Other author/creator | Wolfsthal, Yaron. |
| Other author/creator | SpringerLink (Online service) |
| Portion of title | First International Haifa Verification Conference |
| Portion of title | International Haifa Verification Conference |
| Series | Lecture notes in computer science ; 3875, 0302-9743 ; Lecture notes in computer science 3875. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Reproduction note | Joyner- Electronic reproduction. Berlin : Springer-Verlag, [2006]. System requirements: Adobe Acrobat Reader. Mode of access: World Wide Web. Made available through SpringerLink. |
| ISBN | 3540326049 |
| ISBN | 9783540326045 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.V47 I54 2005 | ✔ Available | Place Hold |