KnihyOdborné a náučnéHardware and Software, Verification and Testing

Hardware and Software, Verification and Testing

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... Čítať viac

Vydavateľstvo: Springer Verlag, 2007

Počet strán: 244

Brožovaná väzba
Angličtina

77,95 €

Na objednávku
Dodanie môže trvať viac ako 30 dní

Naši škriatkovia odporúčajú

Mami, oci, som online - Petra Arslan Šinková, Fortuna Libri, 2023

Viac o knihe

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 are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.

Čítať viac