Limit search to available items
Record 23 of 46
Previous Record Next Record
Book Cover
E-book
Author International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)

Title Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Published Berlin ; New York : Springer, [2007]
©2007
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xii, 234 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4383
Lecture notes in computer science ; 4383. 0302-9743
Contents Hardware verification track -- Tools track -- Software testing track
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer programs -- Verification -- Congresses.
Software architecture -- Congresses.
Computer input-output equipment -- Congresses.
Computer software -- Verification -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Bin, Eyal.
Ziv, Avi.
Ur, Shmuel.
LC no. 2007920490
ISBN 9783540708896
3540708898
9783540708889 (soft cover ; alk. paper)
354070888X (soft cover ; alk. paper)
Other Titles HVC 2006