Research Catalog
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
- Title
- Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (ed.).
- Author
- International Haifa Verification Conference (3rd : 2007 : Haifa, Israel)
- Publication
- Berlin ; New York : Springer, 2008.
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | QA76.76.V47 I54 2007g | Off-site | |
Not available - Please for assistance. | Book/Text | Use in library | Off-site |
Holdings
Details
- Additional Authors
- Yorav, Karen.
- Description
- xii, 266 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 4899
- LNCS sublibrary. SL 2, Programming and software engineering
- Uniform Title
- Lecture notes in computer science ; 4899.
- LNCS sublibrary. SL 2, Programming and software engineering.
- Alternative Title
- HVC 2007
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also issued online.
- ISBN
- 9783540779643 (pbk.)
- 3540779647 (pbk.)
- OCLC
- ocn191923424
- 191923424
- SCSB-5397160
- Owning Institutions
- Columbia University Libraries