|
|
Showing 1 - 1 of
1 matches in All Departments
|
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers (Paperback, 2011 ed.)
Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
|
R1,408
Discovery Miles 14 080
|
Ships in 18 - 22 working days
|
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...
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
Gloria
Sam Smith
CD
R176
Discovery Miles 1 760
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.