Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings (Programming and Software Engineering)

★★★★★ 4.3 64 reviews

$47.95
Price when purchased online
Free shipping Free 30-day returns

Sold and shipped by fondationcepeo.ca
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$47.95
Price when purchased online
Free shipping Free 30-day returns

How do you want your item?
You get 30 days free! Choose a plan at checkout.
Shipping
Arrives Jul 14
Free
Pickup
Check nearby
Delivery
Not available

Sold and shipped by fondationcepeo.ca
Free 30-day returns Details

Product details

Management number 233492299 Release Date 2026/06/27 List Price $19.18 Model Number 233492299
Category

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 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. Read more

ISBN10 3319490516
ISBN13 978-3319490519
Edition 1st ed. 2016
Language English
Publisher Springer
Dimensions 6.1 x 0.52 x 9.25 inches
Item Weight 11.5 ounces
Print length 227 pages
Publication date November 1, 2016

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Customer ratings & reviews

4.3 out of 5
★★★★★
64 ratings | 26 reviews
How item rating is calculated
View all reviews
5 stars
80% (51)
4 stars
6% (4)
3 stars
3% (2)
2 stars
1% (1)
1 star
10% (6)
Sort by

There are currently no written reviews for this product.