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

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.

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

Handbook of Elliptic Integrals for Engineers and Physicists

$74.99

The Yokohama System for Reporting Endometrial Cytology

$89.99

Public-Private-Partnership-Konzepte fr den IT-Markt

$59.99

Aspects of Homogeneous Catalysis

$109.99

Gender, Migration and Domestic Work

$39.99

Children, Childhood and Youth in the British World

$139.99

Biosolids Treatment Processes

$219.99

Geology and Society

$54.99

Towards Autonomous Robotic Systems

$39.99

Pedagogy and Edusemiotics

$49.99

AIDS

$44.99

Human Aspects of IT for the Aged Population. Technologies, Design and User Experience

$54.99

Psychogeriatrics

$109.99

The Bonobos

$129.00

Basiswissen Bilanzplanung

$64.99

The Sunken Ship: An Acorn Book (Mermaid Days #1)

$3.74

Entwicklung von Professionalitt pdagogischen Personals

$74.99

Untersuchungen zur instationren Strmung durch unstetige Querschnittsnderungen in Druckleitungen v

$49.99

Numerical Methods for Flows

$109.99

Statistical Modeling and Simulation for Experimental Design and Machine Learning Applications

$199.99

Prvention

$89.99

The Adventures of Captain Underpants (Hardcover)

$7.50

Werkstoffkunde fr Elektroingenieure

$69.95

Noninvasive Assessment of Trabecular Bone Architecture and The Competence of Bone

$84.99

Out of Africa I

$84.99

Zeig mir Biostatistik!

$19.99

Singular Integral Equations

$99.00

Konsumentenverhalten und Marketing

$69.99

Decadence in the Late Novels of Henry James

$54.99

Quick Guide Bitcoin

$19.99

What Is Schizophrenia?

$54.99

Transformation of Civil Justice

$99.00

Pro T-SQL 2008 Programmer's Guide

$39.99

Die Stahlbauwerke fr die Brcken im Zuge der neuen Bahnstrecke Belgrad-Pancevo

$49.99

The Prism of the Self

$169.99

I Am Defiance (Hardcover)

$13.49

The SAGES Manual of Quality, Outcomes and Patient Safety

$119.99

Advances on Broad-Band Wireless Computing, Communication and Applications

$299.99

Learn Objective-C for Java Developers

$39.99

Protecting Nature, Saving Creation

$54.99