|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers (Paperback, 2011 ed.)
Loot Price: R1,505
Discovery Miles 15 050
|
|
|
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers (Paperback, 2011 ed.)
Series: Programming and Software Engineering, 6405
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed post proceedings of
the 5th International Haifa Verification Conference, HVC 2009, held
in Haifa, Israel in October 2009. The 11 revised full papers
presented together with four abstracts of invited lectures were
carefully reviewed and selected from 23 submissions. The papers
address all current issues, challenges and future directions of
verification for hardware, software, and hybrid systems and present
academic research in the verification of systems, generally divided
into two paradigms - formal verification and dynamic verification
(testing).
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
