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

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.

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

Der Geist im Atom

$49.99

Biblia Reina-Valera 1960, Biblia Blanca, Ultrafina, Letra grande. Bodas, bautismo, presentacion/dedicacion y cumpleanos by Vida

$34.99

Exotic Attractors

$39.99

Interleaving Concepts for Digital-to-Analog Converters

$129.99

Business Information Technology Management

$109.99

A First Course in Discrete Dynamical Systems

$79.99

Learn to Tango with D

$19.99

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

$109.99

Jan Hendrik Oort

$199.99

Prozerechentechnik

$49.99

Einfhrung in das Betreuungsrecht

$34.99

Supercritical Fluids

$219.99

Religionsphilosophie nach Wittgenstein

$69.99

Theory and Practice of Model Transformations

$54.99

State-Space Control Systems

$39.99

Nomad-State Relationships in International Relations

$119.00

Graph Transformation

$54.99

Cancer Chemotherapeutic Agents

$109.99

Marketing im Einzelhandel

$69.99

Derivative-Free and Blackbox Optimization

$54.99

Generation und Ungleichheit

$64.99

Hssliche Wrter

$24.99

Designing Asynchronous Circuits using NULL Convention Logic (NCL)

$19.99

Erfahrung und Ausdruck

$179.99

Sensory Systems of Primates

$84.99

Chirurgisches Forum fr experimentelle und klinische Forschung

$59.99

Visco-Plastic Behaviour of Geomaterials

$54.99

The Failure of Anglo-liberal Capitalism

$52.99

Radical Teaching in Turbulent Times

$119.99

Marine Niche: Applications in Pharmaceutical Sciences

$199.99

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

$109.99

Root Genomics

$129.00

Grundlagen der elektronischen Datenverarbeitung

$59.99

Essential Clinical Skills in Pediatrics

$159.99

IS-gesttztes Prozessmanagement

$49.99

Nanoparticles for Rational Vaccine Design

$109.99

Conjectures in Arithmetic Algebraic Geometry

$59.99

Computer Systems: Architectures, Modeling, and Simulation

$54.99

Classical, Discrete Spin Models

$39.99

Intelligent Autonomous Systems 17

$329.99