-81%
Add to Wishlist

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers eBook

Original price was: $69.99.Current price is: $13.00.

By: Kerstin Eder; ‎João Lourenҫo; ‎Onn Shehory
Publisher: Springer
Print ISBN: 9783642341878, 364234187X
eText ISBN: 9783642341885, 3642341888
Edition: 1st
Copyright year: 2012

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers eBook

Original price was: $69.99.Current price is: $13.00.

eText ISBN: 9783642341885 SKU: 9783642341885 Category: Tags: , Print ISBN: 9783642341878

Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
Dimensions 9783642538452 in

Reviews

There are no reviews yet.

Be the first to review “Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers eBook”

Related products

-38%
Add to Wishlist
+
 Quick View

Bestsellers

Access 2007 eBook

eText ISBN: 9781423207733 Original price was: $6.65.Current price is: $4.10.
-38%
Add to Wishlist
+
 Quick View

Bestsellers

The Age of Surveillance Capitalism eBook

eText ISBN: 9781610395700 Original price was: $19.98.Current price is: $12.31.
-38%
Add to Wishlist
+
 Quick View

Bestsellers

Excel 2007 eBook

eText ISBN: 9781423207740 Original price was: $6.65.Current price is: $4.10.
-38%
Add to Wishlist
+
 Quick View

Bestsellers

Information Technology for Management: On Demand Strategies for Performance, Growth and Sustainability, Enhanced eText eBook

eText ISBN: 9781118890868 Original price was: $76.65.Current price is: $47.22.
-38%
Add to Wishlist
+
 Quick View

Bestsellers

Handbook of Scheduling eBook

eText ISBN: 9780203489802 Original price was: $58.32.Current price is: $35.93.
-38%
Add to Wishlist
+
 Quick View

Bestsellers

Microsoft Office Excel 2007 Step by Step eBook

eText ISBN: 9780735637832 Original price was: $23.32.Current price is: $14.37.
-38%
Add to Wishlist
+
 Quick View

Bestsellers

New Perspectives Microsoft Office 365 & Access 2016: Comprehensive eBook

eText ISBN: 9781337017053 Original price was: $61.65.Current price is: $37.98.
-38%
Add to Wishlist
+
 Quick View

Bestsellers

Powerpoint 2007 eBook

eText ISBN: 9781423207764 Original price was: $6.65.Current price is: $4.10.