Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.
The 10 revised full papers presented together with 7 invited papers were...
The 10 revised full papers presented together with 7 invited papers were...
Leider schon ausverkauft
versandkostenfrei
Buch
64.19 €
Produktdetails
Produktinformationen zu „Hardware and Software: Verification and Testing “
Klappentext zu „Hardware and Software: Verification and Testing “
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
Bibliographische Angaben
- 2011, 208 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Sharon Barner, Orna Raz, Daniel Kroening, Ian Harris
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3642195822
- ISBN-13: 9783642195822
- Erscheinungsdatum: 17.03.2011
Sprache:
Englisch
Kommentar zu "Hardware and Software: Verification and Testing"
0 Gebrauchte Artikel zu „Hardware and Software: Verification and Testing“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Hardware and Software: Verification and Testing".
Kommentar verfassen