Name: Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)
ISBN: 9783642195822

by Barner, Sharon, Harris, Ian, Kroening, Daniel

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)

by Barner, Sharon, Harris, Ian, Kroening, Daniel

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$72.00~~

Discount

28% Off

You Save

$20.69

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783642195822
ISBN: 3642195822
Edition: 1st Editio
Publication Date: 2011
Publisher: Springer

AUTHOR

Barner, Sharon, Harris, Ian, Kroening, Daniel

SUMMARY

Barner, Sharon is the author of 'Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)', published 2011 under ISBN 9783642195822 and ISBN 3642195822.

[read more]