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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

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

Title:

Conference Author:

International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)

Series:

Lecture notes in computer science, 4383

Publication Information:

Berlin : Springer-Verlag, 2007

ISBN:

9783540708889

General Note:

Available online version

Subject Term:

Computer systems -- Verification -- Congresses

Computer software -- Verification -- Congresses

Computer programs -- Verification -- Congresses

Integrated circuits -- Verification -- Congresses

Added Author:

Electronic Access:

Available:*

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... Razak School	30000010159314	QA76.76.V47 I57 2006	Open Access Book	Book	Searching... Unknown

Available:*

On Order