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

Transport Through Membranes: Carriers, Channels and Pumps

$329.99

Moral und Innovation in Organisationen

$39.99

Cross-Cultural Schooling Experiences of Arab Newcomer Students

$54.99

Next Generation Arithmetic

$44.99

Moonflower (Hardcover)

$13.49

Lagerungstechniken im Operationsbereich

$84.99

Magical Creatures and Crafts: How to Help a Cupid

$3.71

Cytochrome Systems

$39.99

Algol-like Languages

$109.99

Educational Contexts and Borders through a Cultural Lens

$109.99

Physics of Sedimentology

$99.99

Development Policy

$69.99

Publishing during Doctoral Candidature

$139.99

Entfernungsverpflichtungen in der kapitalmarktorientierten Rechnungslegung der IFRS

$79.99

P2P Techniques for Decentralized Applications

$29.99

Werkstoffprfung

$69.95

Sicherheit und Integration in Europa

$59.99

Detection of Change

$169.99

March PreK-K Printable Packet

$4.99

Erfolgsfaktor Kanzleiidentitt

$17.99

Japan's Maritime Security Strategy

$119.99

Magpie Murders by Anthony Horowitz

$19.99

Beginning Azure Static Web Apps

$69.99

Sometimes I Lie- A Novel by Alice Feeney

$17.99

The New Bail-In Legislation

$69.99

Evidenzbasierter Fledermausschutz in Windkraftvorhaben

$59.99

Air Pollution Control Equipment

$109.99

The Physical Basis of Ultrahigh Vacuum

$129.99

Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks

$169.99

Algebraic K-Theory: Connections with Geometry and Topology

$329.99

Approximation and Online Algorithms

$39.99

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

$99.99

Fourth Generation Biofuels

$49.99

The Management of Biceps Pathology

$84.99

Big Data Optimization: Recent Developments and Challenges

$199.99

Object-Oriented Metamethods

$54.99

This Time It's Real (Hardcover)

$14.24

Youth in India

$139.99

Entrepreneurship in the Public Sector

$54.99

The Visual System of Fish

$84.99