Hardware and software, verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /

Hardware and software, verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	International Haifa Verification Conference (1st : 2005 : Haifa, Israel)
Imprint:	Berlin : Springer, 2006.
Language:	English
Series:	Lecture notes in computer science ; 3875
Subject:	Computer programs -- Verification -- Congresses. Software architecture -- Congresses. Computer input-output equipment -- Congresses. Computer programs -- Verification. Computer software -- Verification. Computer systems -- Verification. Integrated circuits -- Verification. Conference papers and proceedings.
Format:	E-Resource Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/5902570

Hidden Bibliographic Details
Other authors / contributors:	Ur, Shmuel. Bin, Eyal. Wolfsthal, Yaron. LINK (Online service)
ISBN:	3540326049
Notes:	Title from title screen (viewed March 9, 2006) Electronic book available via Springer Link. Print version originally published in 2006. Includes bibliographical references and index. Access restricted to subscribing institutions. Print version also available. Mode of access: World Wide Web. System requirements: Adobe Acrobat required to view PDF document.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA76.76.V47I584 2005
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian