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
9783642192371
Condition
New
Product Description

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Hermann Broch

$59.99

Europe in Progress

$69.99

Lasergerechte Konstruktion und Fertigung

$59.99

Urologie bei Rckenmarkverletzten

$59.99

High Speed Photography

$39.99

Nachrichten-bertragungstechnik

$39.99

White Dwarfs: Cosmological and Galactic Probes

$84.99

Transition beyond Denuclearisation

$139.99

bungsheft fr Klienten

$49.99

Black Hole Physics

$329.99

The Palgrave Handbook of Steam Age Gothic

$249.99

Statistics for Chemical and Process Engineers

$179.99

Inertial Confinement Fusion Driven Thermonuclear Energy

$179.99

Durch die USA und Canada im Jahre 1887

$99.99

Modell-basierter Test eingebetteter Software im Automobil

$79.99

Randomness and Completeness in Computational Complexity

$39.99

Cannibalism in Literature and Film

$54.99

Froggy Books: Froggy va a la escuela

$5.24

Fracture and Failure of Natural Building Stones

$219.99

Encyclopedia of Remote Sensing

$329.99

Pharmakologie dermatologischer Externa

$84.99

Innovations for our Future

$54.99

Verbesserung von Geschftsprozessen mit flexiblen Workflow-Management-Systemen 4

$59.99

Mitteilungen ber Forschungsarbeiten

$49.99

Logistik-Controlling in der Versorgung

$74.99

Zerebrale Korrelate klinischer und neuropsychologischer Vernderungen in den Verlaufsstadien der Alz

$69.99

Advances in Neutron Capture Therapy

$219.99

Black Hospitality

$79.99

Film, Art, New Media: Museum Without Walls?

$84.99

Advances in Mathematical Systems Theory

$169.99

Is Your Mama a Llama?

$5.99

Intelligent Networked Things

$79.99

Methods in Approximation

$39.99

Simulating Social Phenomena

$109.99

Archaeoseismology

$139.99

BAIL 2008 - Boundary and Interior Layers

$84.99

Advances in Engine Tribology

$179.99

Function and Structure of the Immune System

$39.99

Ion Implantation in Diamond, Graphite and Related Materials

$39.99

Do You Like My Bike?: An Acorn Book (Hello, Hedgehog! #1)

$4.49