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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Data Management and Query Processing in Semantic Web Databases
$39.99
Archean-Mesoproterozoic Crustal Evolution and Crust-Mantle Geodynamics of Western Liaoning-Northeast
$109.99
Scholastic Text Sets Grade 3: Making a Difference
$95.00
Untersuchungen an kalksilikatreichen Ferrochromschlacken
$59.99
Public Choice Essays in Honor of a Maverick Scholar: Gordon Tullock
$109.99
Foreign-Related Commercial Disputes Resolution in China
$149.00
Host Guest Complex Chemistry I
$84.99
Numerical Ship Hydrodynamics
$169.99
International Aid, Administrative Reform and the Politics of EU Accession
$39.99
Psychology of Religion
$54.99
NL ARMS Netherlands Annual Review of Military Studies 2021
$59.99
Vision in Drosophila
$99.99
Mandated Science: Science and Scientists in the Making of Standards
$109.99
Expanded Clays and Other Microporous Solids
$39.99
New Frontiers in Mining Complex Patterns
$54.99
System Earth via Geodetic-Geophysical Space Techniques
$169.00
Social Networks: Models of Information Influence, Control and Confrontation
$109.99
Wirtschaftliche Implikationen des demografischen Wandels
$99.00
Theoretische Physik mit dem Personal Computer
$49.99
Social Media in Clinical Practice
$39.99
Digital Economy: Complexity and Variety vs. Rationality
$219.99
Ada 2012 Rationale
$49.99
Der Umgang mit der Stadtgesellschaft
$39.99
A study of glossematics
$74.99
Restructuring Eastern Germany
$169.99
Psychology in the Bathroom
$54.99
Corner-Store Dreams and the 2008 Financial Crisis
$19.99
Topological and Bivariant K-Theory
$49.95
Transactions on Engineering Technologies
$169.00
Probability and Information Theory
$39.99
Social-Emotional Prevention Programs for Preschool Children's Behavior Problems
$109.99
Adapted Physical Activity
$129.00
AI and Multimodal Services AIMS 2024
$54.99
George Boole
$54.99
Pharmacology of Smooth Muscle
$84.99
Systems Theory Research
$54.99
Dynamical Systems
$169.00
The Importance of Binaries in the Formation and Evolution of Planetary Nebulae
$49.99
Gesamtfahrzeug
$19.99
Primer of Geriatric Urology
$109.99
