Hardware and Software, Verification and Testing

Name: Hardware and Software, Verification and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540708889
Price: 215.37 PLN
Availability: InStock

Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Autor: Eyal Bin, Avi Ziv, Shmuel Ur

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

215.37 zł

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Ver...

Informacje o książce

Autor

Eyal Bin, Avi Ziv, Shmuel Ur

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2007

strony

235

EAN

9783540708889

ISBN

354070888X

Enbook ID

01568150

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

790

Wymiary

155 x 235 x 14

Pełny opis

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.§The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Hardware and Software, Verification and Testing

Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również