Get Free Shipping on orders over $89
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Eran Yahav

Hardware and Software: Verification and Testing

10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings

By: Eran Yahav (Editor)

Paperback | 6 November 2014

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

More in Network Hardware

Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey