![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
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.
|
You may like...
Management Innovation - Essays in the…
William Lazonick, David J. Teece
Hardcover
R3,145
Discovery Miles 31 450
Innovation in Brazil - Advancing…
Elisabeth B Reynolds, Ben Ross Schneider, …
Hardcover
R4,505
Discovery Miles 45 050
Technology and U.S. Competitiveness - An…
W.Henry Lambright, Dianne Rahm
Hardcover
R2,533
Discovery Miles 25 330
The Politics of Knowledge in Inclusive…
David Ludwig, Birgit Boogaard, …
Hardcover
R4,507
Discovery Miles 45 070
Innovative Research in Transportation…
Dipankar Deb, Valentina E. Balas, …
Hardcover
R2,653
Discovery Miles 26 530
|