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:
Buy Hardware and Software: Verification and Testing for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
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
The Road to Audacity
$54.99
VDI-Wasserdampftafeln / VDI-Steam Tables / Tables VDI des constantes
$54.99
Nonlocality in Quantum Physics
$109.99
Perspectives for Biodiversity and Ecosystems
$159.99
Conscience in Action
$54.99
Vorhofflimmern
$59.99
Produktion und Management Betriebshtte
$139.99
Machine Intelligence and Data Analytics for Sustainable Future Smart Cities
$199.99
Beginning Java 8 Fundamentals
$39.99
Breakthroughs in Space Life Science Research
$79.99
Bunny Business (Mama's Day at Work) (Hardcover)
$14.24
Soziologie leiblicher Koprsenz
$69.99
Text, Speech and Dialogue
$54.99
Was Sokrates nicht wissen konnte
$29.99
Ozone and Plant Cell
$169.99
Materialwirtschaft und Produktionstheorie
$34.99
An Introduction to Design Science
$44.99
Research and Education in Robotics - EUROBOT 2010
$54.99
Hong Kong and Bollywood
$139.99
Outlier Analysis
$159.99
Pro Spring Batch
$39.99
Ausbau eines Wechsellichtmonochromators und seine Anwendung zur Messung des Luftleuchtens Whrend de
$59.99
Kosten- und Leistungsrechnung
$39.99
Introduction to Integrated Optics
$84.99
Nachhaltige Stadt- und Verkehrsplanung
$44.99
Friedrich List as a Railway Pioneer in the USA
$54.99
Elite zwischen Europisierung und nationalen Mustern
$64.99
Enterprise Architecture at Work
$99.99
Industrial Metrology
$219.99
Die Humorale Steuerung der Erythropoiese
$44.99
Der frhchristliche Reliquienkult und die Bestattung im Kirchengebude
$49.99
Moldilocks and the Three Scares
$4.88
Cancer Pain
$39.99
Keynes on the Wireless
$54.99
Pathophysiology of Muscle Tone
$84.99
Earliest Life on Earth: Habitats, Environments and Methods of Detection
$169.99
The Literature of Nationalism
$109.99
Leitstze ber den Schutz der Gebude gegen den Blitz, nebst Erluterungen und Ausfhrungsvorschlge
$54.99
The Odd 1s Out- How to Be Cool and Other Things I Definitely Learned from Growing Up by James Rallison
$16.00
Fernsehwissenschaft und Serienforschung
$44.99
