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
Werkstckorientierte Verfahrensauswahl zum Guputzen mit Industrierobotern
$59.99
The Polish Delegation in the European Parliament
$139.99
Proceedings of China SAE Congress 2019: Selected Papers
$379.99
Massive MIMO Detection Algorithm and VLSI Architecture
$109.99
Language Technology for Cultural Heritage
$109.99
Energy Policy Advancement
$99.00
Logic Program Synthesis from Incomplete Information
$169.99
Raman Spectroscopy For Catalysis
$169.99
An Economic Analysis of Intellectual Property Rights Infringement
$44.99
Information Security of Highly Critical Wireless Networks
$59.99
Cell Signaling in Vascular Inflammation
$109.99
The History of Maxillofacial Surgery
$179.99
Theorizing Bioarchaeology
$159.99
Marx Method, Epistemology, and Humanism
$84.99
Mathematik fr Informatik und BioInformatik
$49.99
Unternehmensrisiken erkennen und managen
$39.99
Acryl- und Methacrylverbindungen
$49.99
Geometric Properties for Parabolic and Elliptic PDE's
$109.99
Die Europisierung des Umweltstrafrechts
$49.99
Digital Twin Fundamental Concepts to Applications in Advanced Manufacturing
$199.99
The Ptsd Workbook- Simple, Effective Techniques for Overcoming Traumatic Stress Symptoms by Mary Beth Williams
$27.95
Photodetectors
$109.99
Scale Structures of the Universe
$169.99
How Long Do We Live?
$84.99
The Galactic Interstellar
$54.99
Alkaloids
$84.99
Cutaneous Lymphomas, Pseudolymphomas, and Related Disorders
$109.99
Ethnografie und Deutung
$64.99
Entwicklung Eingebetteter Systeme
$44.99
Hotelvertrge
$17.99
Geboren 1964 und 1971
$69.99
Immersive Learning Research Network
$69.99
R.E.A.L. Additional Student-Packs Grade 5 Set B (5-Pack)
$179.99
Questioning the Entrepreneurial State
$59.99
The Alien Communication Handbook
$24.99
George White and the Victorian Army in India and Africa
$109.99
European Communities Oil and Gas Research and Development Projects
$54.99
Tools and Algorithms for the Construction of Analysis of Systems
$39.99
ber den Begriff des Oberflchlichen in der Romania
$59.99
Global Trade and Trade Governance During De-Globalization
$109.99
