Hardware and Software: Verification and Testing : third
International Haifa Verification Conference, HVC 2007 : Haifa,
Israel, October 23-25, 2007 : proceedings

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Přehled o publikaci

2008

Hardware and Software: Verification and Testing : third International Haifa Verification Conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings

Základní údaje

Originální název

Hardware and Software: Verification and Testing : third International Haifa Verification Conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings

Autoři

Edited by Karen Yorav.

Vydání

Berlin, xii, 266, 2008

Nakladatel

Springer

Další údaje

Označené pro přenos do RIV

ISBN

9783540779643

Změněno: 2. 3. 2026 06:13, Záznam byl importován z knihovního systému.

Hardware and Software: Verification and Testing : third International Haifa Verification Conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings. Edited by Karen Yorav. Berlin: Springer, 2008, xii, 266. ISBN 9783540779643.

@article{,
   address = {Berlin},
   location = {Berlin},
   isbn = {9783540779643},
   publisher = {Springer},
   title = {Hardware and Software: Verification and Testing : third International Haifa Verification Conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings},
   year = {2008}
}

TY  - JOUR
PY  - 2008
TI  - Hardware and Software: Verification and Testing : third International Haifa Verification Conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings
PB  - Springer
CY  - Berlin
SN  - 9783540779643
ER  -

\textit{Hardware and Software: Verification and Testing : third International Haifa Verification Conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings}. Edited by Karen Yorav. Berlin: Springer, 2008, xii, 266. ISBN~9783540779643.