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

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.76.V47 I54 2007gOff-site
Not available - Please for assistance.
Book/TextUse 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
Subject
  • Computer programs > Verification > Congresses
  • Software architecture > Congresses
  • Computer input-output equipment > Congresses
  • Computer software > Verification > Congresses
  • Verification
  • Hardware
  • Software
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