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

  Permalink