Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Programming and Software Engineering - Eran Yahav - Books - Springer International Publishing AG - 9783319133379 - November 6, 2014
In case cover and title do not match, the title is correct

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Programming and Software Engineering 2014 edition

Price
₪ 180
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 15 - 25
Christmas presents can be returned until 31 January
Add to your iMusic wish list

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.


302 pages, 78 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 6, 2014
ISBN13 9783319133379
Publishers Springer International Publishing AG
Pages 302
Dimensions 155 × 235 × 17 mm   ·   4.86 kg
Language German  
Editor Yahav, Eran

Show all

More by Eran Yahav