2 options
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.).
LIBRA QA76.76.V47 I54 2005
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- International Haifa Verification Conference (1st : 2005 : Haifa, Israel)
- Series:
- Lecture notes in computer science 0302-9743 ; 3875.
- Lecture notes in computer science, 0302-9743 ; 3875
- Language:
- English
- Subjects (All):
- Computer programs--Verification--Congresses.
- Computer programs.
- Software architecture--Congresses.
- Software architecture.
- Computer input-output equipment--Congresses.
- Computer input-output equipment.
- Computer programs--Verification.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- x, 264 pages : illustrations ; 24 cm.
- Other Title:
- First International Haifa Verification Conference
- International Haifa Verification Conference
- Place of Publication:
- Berlin ; New York : Springer, 2006.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540326049
- OCLC:
- 68439376
- Publisher Number:
- 9783540326045
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.