Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Lecture Notes in Computer Science -  - Books - Springer International Publishing AG - 9783319262864 - October 27, 2015
In case cover and title do not match, the title is correct

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

Price
$ 53.49
excl. VAT

Ordered from remote warehouse

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

This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.


293 pages, 88 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 27, 2015
ISBN13 9783319262864
Publishers Springer International Publishing AG
Pages 293
Dimensions 155 × 235 × 17 mm   ·   4.75 kg
Language French  
Editor Piterman, Nir