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!

MARC


LEADER	00000n a2200000 a 4501
001	wils-364362
020	0	0	\|a 9783540708889 (pbk.)
020	0	0	\|a 354070888X (pbk.)
040	#	#	\|a OHX \|d ITMB
090	0	0	\|a QA76.76.V47 \|b I54 2007
111	2	0	\|a International Haifa Verification Conference \|c Haifa, Israel \|d 2006 \|n 2nd
245	1	0	\|a Hardware and software, verification and testing \|b Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers \|c Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
260	0	0	\|a Berlin; \|a New York \|b Springer \|c 2007
300	0	0	\|a xii, 234 p. \|b ill. \|c 24 cm
490	0	0	\|a Lecture notes in computer science \|v 4383
504	0	0	\|a Includes bibliographical references and index
650	#	0	\|a Computer programs \|v Congresses \|x Verification
650	#	0	\|a Software architecture \|v Congresses
650	#	0	\|a Computer input-output equipment \|v Congresses \|x Verification
650	#	0	\|a Computer software \|v Congresses \|x Verification
650	#	0	\|a Integrated circuits \|v Congresses \|x Verification
700	1	0	\|a Bin, Eyal
700	1	0	\|a Ziv, Avi
700	1	0	\|a Ur, Shmuel
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=364362
964	#	#	\|c BOK \|d 01