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 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.
Reviews
Questions & Answers
Beyond Global Capitalism
$54.99
Zwischen Subjekt und Struktur
$49.99
Integral/Structural Polymer Foams
$54.99
Adjuvant Therapy of Breast Cancer IV
$84.99
Marketing- und Kommunikationstrends
$69.99
Geospatial Data Analytics and Urban Applications
$99.99
Soziometrie
$49.99
The Hot Universe
$169.99
Operations Research Proceedings 2021
$169.99
Die Technik der Eingriffe am Gallensystem
$59.99
The Teaching of Design and Innovation
$139.99
Organisationsstrukturen Industrieller Grobetriebe
$59.99
Stability Problems for Stochastic Models
$34.99
Selbstentwicklung von Fhrungsnachwuchskrften
$49.99
Generierung von Kundenwert durch mobile Dienste
$59.99
Developmental Toxicology
$169.99
Koordination in strategischen Netzwerken
$59.99
Atlas of Exocrine Pancreatic Tumors
$54.99
Metamathematics of Fuzzy Logic
$219.99
Quantum-Dot-Based Semiconductor Optical Amplifiers for O-Band Optical Communication
$109.99
Primary Eye Examination
$99.00
Formation and Crust-Mantle Geodynamic Processes of the Neoarchean K-rich Granitoid Belt in the South
$169.99
Management and Therapy of Late Pregnancy Complications
$109.00
Large-Scale Optimization with Applications
$109.99
The Values of Independent Hip-Hop in the Post-Golden Era
$31.00
Legacy of Injustice
$109.99
Scheins Common Sense Emergency Abdominal Surgery
$39.99
Physik studiert - und dann?
$29.99
Saddle-Point Problems and Their Iterative Solution
$49.99
Temporal GIS
$129.00
Echtzeitsysteme
$39.99
Literatur auf dem Rechner
$39.99
Parallel Genetic Algorithms for Financial Pattern Discovery Using GPUs
$54.99
Organisation und Unsicherheit
$49.99
Lie Theory
$129.00
Current Topics in Astrofundamental Physics
$329.99
Anaesthesie mit Gamma-Hydroxibuttersure Experimentelle und Klinische Erfahrungen
$69.99
Personalpolitik im Mittelstand
$59.99
22. Internationales Stuttgarter Symposium
$179.99
Commercial Sexual Exploitation of Children
$54.99
