Produktnummer:
181557176384fb4245ab2fe17c760c1f2a
| Themengebiete: | SAT solving model-based diagnosis model checking proof reduction query checking reflection resolution specification test generation test specification |
|---|---|
| Veröffentlichungsdatum: | 17.03.2011 |
| EAN: | 9783642195822 |
| Sprache: | Englisch |
| Seitenzahl: | 197 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Barner, Sharon Harris, Ian Kroening, Daniel Raz, Orna |
| Verlag: | Springer Berlin |
| Untertitel: | 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers |
Produktinformationen "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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen