Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642195839
Condition
New
Product Description

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Highly Anisotropic Crystals

$169.99

Fetal Stem Cells in Regenerative Medicine

$129.00

The Phylogeny of Anguinomorph Lizards

$74.99

Empirische Studien zum Management in mittelstndischen Unternehmen

$59.99

Die Lungentuberkulose in der Armee

$59.99

Controlling produktbegleitender Dienstleistungen

$89.99

Gravitation as a Plastic Distortion of the Lorentz Vacuum

$84.99

DNA Fingerprinting

$39.99

European Ship Recycling Regulation

$169.99

Modeling Groundwater Flow and Pollution

$169.99

International Handbook of Adult Mortality

$299.00

Erinnerung des Umbruchs, Umbruch der Erinnerung

$64.99

Brazing

$219.99

The First Socialization Debate (1918) and Early Efforts Towards Socialization

$84.99

Around the World: Homes Around the World

$5.99

Image Watermarking Techniques

$99.99

Die Werkzeugmaschinen

$84.99

Natural and Gauge Natural Formalism for Classical Field Theorie

$109.99

Submarine Hydrodynamics

$44.99

The Embryonic Development of Drosophila melanogaster

$74.99

Hedley Bull and the Accommodation of Power

$109.99

Integrated Marketing Communications

$59.99

Solar Energy Applications to Dwellings

$169.99

Improving the Regulatory Review Process: Assessing Performance and Setting Targets

$39.99

Urogenitale Carcinome

$44.99

Gender in Transitional Justice

$39.99

Characterization and Development of Biosystems and Biomaterials

$109.99

Forschungsdiskurs und Etablierungsprozess der Organisationspdagogik

$89.99

Perceptions of Female Offenders, Vol. 2

$139.99

Political Institutions and Elderly Care Policy

$39.99

Medicine as a Scholarly Field: An Introduction

$39.99

Integrated Photonics

$329.99

Grundzge der Schmiertechnik

$59.99

Exploring Expertise

$84.99

How Can You Represent Those People?

$109.99

Analysis of Fracture Toughness Mechanism in Ultra-fine-grained Steels

$54.99

Evidenzbasierte Gefchirurgie

$69.99

Funktionelle Elektrostimulation in der Neurorehabilitation

$64.99

The Context of Constitution

$109.99

Gas-Phase IR Spectroscopy and Structure of Biological Molecules

$219.99