Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Saved in:
Bibliographic Details
Corporate Author: International Haifa Verification Conference Haifa, Israel
Other Authors: Bin, Eyal, Ziv, Avi, Ur, Shmuel
Format: Book
Published: Berlin; New York Springer 2007
Series:Lecture notes in computer science 4383
Subjects:
Computer programs > Congresses > Verification
Software architecture > Congresses
Computer input-output equipment > Congresses > Verification
Computer software > Congresses > Verification
Integrated circuits > Congresses > Verification
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xii, 234 p. ill. 24 cm
Bibliography:Includes bibliographical references and index
ISBN:9783540708889 (pbk.)
354070888X (pbk.)

Similar Items