Research Catalog

Hardware and software, verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers

Title
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.).
Publication
Berlin ; New York : Springer, 2006.

Items in the Library & Off-site

Filter by

2 Items

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.76.V47 H37 2005gOff-site
Not available - Please for assistance.
TextUse in library Off-site

Holdings

Details

Additional Authors
  • Ur, Shmuel.
  • Bin, Eyal.
  • Wolfsthal, Yaron.
  • International Haifa Verification Conference (1st : 2005 : Haifa, Israel)
Description
x, 264 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 3875
Uniform Title
Lecture notes in computer science ; 3875.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540326049
OCLC
  • ocm68439376
  • SCSB-5243102
Owning Institutions
Columbia University Libraries