Limit search to available items
Record 22 of 46
Previous Record Next Record
Book Cover
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

Copies

Location Call no. Vol. Availability
 W'PONDS  005.14 Ihv/Con 2006  AVAILABLE
Description xii, 234 pages : illustrations ; 24 cm
Series Lecture notes in computer science, 0302-9743 ; 4383
Lecture notes in computer science. 0302-9743 ; 4383
Contents Hardware verification track -- Tools track -- Software testing track
Bibliography Includes bibliographical references and index
Notes Also issued online
Subject Computer programs -- Verification -- Congresses.
Software architecture -- Congresses.
Computer input-output equipment -- Congresses.
Computer software -- Verification -- Congresses.
Genre/Form Conference papers and proceedings.
Author Bin, Eyal.
Ziv, Avi.
Ur, Shmuel.
LC no. 2007920490
ISBN 9783540708889 (soft cover : alk. paper)
354070888X (soft cover : alk. paper)
Other Titles HVC 2006