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
Handbook of Elliptic Integrals for Engineers and Physicists
$74.99
The Yokohama System for Reporting Endometrial Cytology
$89.99
Public-Private-Partnership-Konzepte fr den IT-Markt
$59.99
Aspects of Homogeneous Catalysis
$109.99
Gender, Migration and Domestic Work
$39.99
Children, Childhood and Youth in the British World
$139.99
Biosolids Treatment Processes
$219.99
Geology and Society
$54.99
Towards Autonomous Robotic Systems
$39.99
Pedagogy and Edusemiotics
$49.99
AIDS
$44.99
Human Aspects of IT for the Aged Population. Technologies, Design and User Experience
$54.99
Psychogeriatrics
$109.99
The Bonobos
$129.00
Basiswissen Bilanzplanung
$64.99
The Sunken Ship: An Acorn Book (Mermaid Days #1)
$3.74
Entwicklung von Professionalitt pdagogischen Personals
$74.99
Untersuchungen zur instationren Strmung durch unstetige Querschnittsnderungen in Druckleitungen v
$49.99
Numerical Methods for Flows
$109.99
Statistical Modeling and Simulation for Experimental Design and Machine Learning Applications
$199.99
Prvention
$89.99
The Adventures of Captain Underpants (Hardcover)
$7.50
Werkstoffkunde fr Elektroingenieure
$69.95
Noninvasive Assessment of Trabecular Bone Architecture and The Competence of Bone
$84.99
Out of Africa I
$84.99
Zeig mir Biostatistik!
$19.99
Singular Integral Equations
$99.00
Konsumentenverhalten und Marketing
$69.99
Decadence in the Late Novels of Henry James
$54.99
Quick Guide Bitcoin
$19.99
What Is Schizophrenia?
$54.99
Transformation of Civil Justice
$99.00
Pro T-SQL 2008 Programmer's Guide
$39.99
Die Stahlbauwerke fr die Brcken im Zuge der neuen Bahnstrecke Belgrad-Pancevo
$49.99
The Prism of the Self
$169.99
I Am Defiance (Hardcover)
$13.49
The SAGES Manual of Quality, Outcomes and Patient Safety
$119.99
Advances on Broad-Band Wireless Computing, Communication and Applications
$299.99
Learn Objective-C for Java Developers
$39.99
Protecting Nature, Saving Creation
$54.99
