Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Paperback, 1st ed. 2017)
Loot Price: R2,356
Discovery Miles 23 560
|
|
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Paperback, 1st ed. 2017)
Series: Programming and Software Engineering, 10629
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 13th
International Haifa Verification Conference, HVC 2017, held in
Haifa, Israel in November 2017.The 13 revised full papers presented
together with 4 poster and 5 tool demo papers were carefully
reviewed and selected from 45 submissions. They are dedicated to
advance the state of the art and state of the practice in
verification and testing and are discussing future directions of
testing and verification for hardware, software, and complex hybrid
systems.
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!
|
You might also like..
|