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

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

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

Single Product Purchase

$54.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
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

MuPAD

$24.99

Generation and Parametric Amplification of FewCycle Light Pulses at Relativistic Intensities

$84.99

Russian Foreign Policy in the 21st Century

$39.99

Corporate Entrepreneurship im strategischen Management

$74.99

Climate Change, Hazards and Adaptation Options

$199.99

The Great Pet Escape

$5.21

Diffusion in Gases, Liquids and Electrolytes

$549.99

Hardware Annealing in Analog VLSI Neurocomputing

$84.99

Oxidative Phosphorylation in Health and Disease

$129.00

Beitrag zum Schmelzen von NiCr-Basislegierungen im Hochvakuum

$49.99

Proceedings of 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control

$379.99

Reforming the Revolution

$39.99

Springer Handbook of Atomic, Molecular, and Optical Physics

$299.00

UV-GO 2018 Kommentar

$59.99

Applications of Mass Spectrometry in Microbiology

$109.99

Modeling and Control in the Biomedical Sciences

$54.99

From the Inside Out

$74.99

Asian Post-crisis Management

$169.99

Quantum Dynamical Semigroups and Applications

$39.99

Shear Flow in Surface-Oriented Coordinate

$39.99

Radial-velocity Searches for Planets Around Active Stars

$84.99

Privatisierung von ffentlichen Unternehmen

$39.99

The Living Politics of Self-Help Movements in East Asia

$79.99

My Books Summer Grade 1 Fiction - Classroom Set

$795.00

Tolstoi

$54.99

Macroeconomic Policy Games

$84.99

Vorkommen und Verbreitung der Tollwut in Europa von 1966 bis 1974

$69.99

Cognitive Biases in Visualizations

$84.99

Security and Privacy in the Age of Ubiquitous Computing

$169.99

Interdisciplinary Mathematics Education

$19.99

Payday Lending

$39.99

Human Rights as Battlefields

$129.99

Selbstfhrung durch Coaching

$34.99

Game Theory for Networks

$109.99

The ASCRS Manual of Colon and Rectal Surgery

$74.99

European Anti-Discrimination and the Politics of Citizenship

$109.99

Geschichtsunterricht im demokratischen Staat

$59.99

Clinical Research Informatics

$109.99

Botox, Facelift, Filler und Co

$24.99

Catalogue of Books on European History, Literature, Linguistics, Shipbuilding and Navigation, Theolo

$74.99