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

Data Management and Query Processing in Semantic Web Databases

$39.99

Archean-Mesoproterozoic Crustal Evolution and Crust-Mantle Geodynamics of Western Liaoning-Northeast

$109.99

Scholastic Text Sets Grade 3: Making a Difference

$95.00

Untersuchungen an kalksilikatreichen Ferrochromschlacken

$59.99

Public Choice Essays in Honor of a Maverick Scholar: Gordon Tullock

$109.99

Foreign-Related Commercial Disputes Resolution in China

$149.00

Host Guest Complex Chemistry I

$84.99

Numerical Ship Hydrodynamics

$169.99

International Aid, Administrative Reform and the Politics of EU Accession

$39.99

Psychology of Religion

$54.99

NL ARMS Netherlands Annual Review of Military Studies 2021

$59.99

Vision in Drosophila

$99.99

Mandated Science: Science and Scientists in the Making of Standards

$109.99

Expanded Clays and Other Microporous Solids

$39.99

New Frontiers in Mining Complex Patterns

$54.99

System Earth via Geodetic-Geophysical Space Techniques

$169.00

Social Networks: Models of Information Influence, Control and Confrontation

$109.99

Wirtschaftliche Implikationen des demografischen Wandels

$99.00

Theoretische Physik mit dem Personal Computer

$49.99

Social Media in Clinical Practice

$39.99

Digital Economy: Complexity and Variety vs. Rationality

$219.99

Ada 2012 Rationale

$49.99

Der Umgang mit der Stadtgesellschaft

$39.99

A study of glossematics

$74.99

Restructuring Eastern Germany

$169.99

Psychology in the Bathroom

$54.99

Corner-Store Dreams and the 2008 Financial Crisis

$19.99

Topological and Bivariant K-Theory

$49.95

Transactions on Engineering Technologies

$169.00

Probability and Information Theory

$39.99

Social-Emotional Prevention Programs for Preschool Children's Behavior Problems

$109.99

Adapted Physical Activity

$129.00

AI and Multimodal Services AIMS 2024

$54.99

George Boole

$54.99

Pharmacology of Smooth Muscle

$84.99

Systems Theory Research

$54.99

Dynamical Systems

$169.00

The Importance of Binaries in the Formation and Evolution of Planetary Nebulae

$49.99

Gesamtfahrzeug

$19.99

Primer of Geriatric Urology

$109.99