Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Hardware and Software: Verification and Testing
Best Price (Coupon Required):
Buy Hardware and Software: Verification and Testing for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
Reviews
Questions & Answers
Laser Applications in Medicine and Biology
$219.99
The Pathology of Vessels
$39.99
Harmonic Functions and Potentials on Finite or Infinite Networks
$34.99
The Invention of Hugo Cabret (Hardcover)
$22.49
The River of Doubt- Theodore Roosevelt's Darkest Journey by Candice Millard
$19.00
Extending Gatsby
$39.99
Vermgensanlage in der Versicherungswirtschaft
$59.99
Principles of Security and Trust
$54.99
Cancer and Society
$54.99
Air Contamination Control in Hospitals
$84.99
Capital, Systems, and Objects
$39.99
The New Cold War, China, and the Caribbean
$54.99
Proceedings of China-Europe Conference on Geotechnical Engineering
$259.00
SAP Enterprise Portfolio and Project Management
$44.99
Principles of Clinical Practice
$84.99
The Message Outreach Edition, Print (Softcover)- The Bible in Contemporary Language by Eugene H. Peterson
$9.99
Software-Architekturen im Unternehmen
$59.99
Urban Transportation Planning in the United States
$129.99
The Asymmetric Nature of Time
$119.99
ber Halluzinosen der Syphilitiker
$59.99
Economics of the SDGs
$89.00
Studies in Political Economy
$14.99
Core Knowledge Sequence Grade 1
$485.00
Coleridge and the Concept of Nature
$84.99
Shed Tears for Diagnostics
$29.99
Wissenschaftstheorie 2
$44.99
Principles for Governance
$139.00
Structural and Institutional Transformations in Doctoral Education
$129.00
Measuring and Analysing the Use of Ontologies
$84.99
Carotenoids
$39.99
Jugendarbeitslosigkeit
$59.99
Bestimmung des Automatisierungsgrades der rechnergesttzten NC-Programmierung
$69.99
Adaptive and Natural Computing Algorithms
$84.99
Behavioural and Experimental Economics
$129.99
Hungry Bones (Hardcover)
$14.99
Paint By Sticker: Travel
$11.57
Ottoman Diplomacy
$109.99
Scripting in Java
$44.99
Hombre Mosca contra matamoscas! (Fly Guy #10)
$4.49
Atlas of AIDS
$74.99
