Copied Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Advancement in Materials, Manufacturing and Energy Engineering, Vol. II
$249.99
Hardware and Software: Verification and Testing
$72.00
Software Composition
$54.99
Algebraic and Logic Programming
$39.99
The NeuroMuscular System: From Earth to Space Life Science
$39.99
Umwelt Management
$69.99
Chemie fr Bauingenieure und Architekten
$69.99
Die Dampfkessel
$49.99
Innovation Interactions Between Knowledge-Intensive Business Services And And Medium-Sized Ent
$54.99
International Handbook of Career Guidance
$249.99
Advanced Light Alloys and Composites
$329.99
Komplexe Zahlen
$17.99
Vorlesungen ber Atommechanik
$44.99
The Fractal Geometry of the Brain
$249.99
Springer Tracts in Modern Physics
$54.99
REBT in the Treatment of Subclinical and Clinical Depression
$54.99
Efficient Approximation and Online Algorithms
$54.99
Adoption of EU Business and Human Rights Policy
$139.99
The Human Weapon System
$84.99
Groe Transformation? Zur Zukunft moderner Gesellschaften
$59.99
Nierenttigkeit und Wasserhaushalt
$39.99
Complementary and Alternative Cardiovascular Medicine
$129.00
Vegetative Powers
$179.99
Reconstructing Patriarchy after the Great War
$54.99
Hallowed Secularism
$54.99
Freizeit
$69.95
Digitalisierung von industriellen Dienstleistungen
$37.99
Time, Space, and Society
$109.99
Interventional Neuroradiology of the Spine
$179.99
Coordination and Optimization of Grid-Tied Power Converters
$119.00
Merger Endgames, Strategien fr die Konsolidierungswelle
$59.99
Scaredy Squirrel
$5.96
China-Russia Relations in the Arctic
$119.99
Biopolitics and Social Change in Italy
$39.99
Molecular Microbial Ecology of the Soil
$109.99
Wege zur automatischen berwachung des Thomasverfahrens
$59.99
Around the World in 80 Ways
$44.99
The IoT Physical Layer
$109.99
Flexible Fertigungssysteme
$69.99
Unsung Legacies of Educators and Events in African American Education
$129.99
