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

A Holistic View of Software and Hardware Reuse

$39.99

Probability Theory I

$59.99

Ausbau der Flughafenstruktur: Konflikte und institutionelle Lsungsanstze

$129.00

High-Risk IV Medications in Special Patient Populations

$84.99

Shear Flow in Surface-Oriented Coordinate

$39.99

Ergebnisse der Chirurgie und Orthopdie

$44.99

Empirical Investigations of Social Space

$179.99

Advances in Ubiquitous Networking 2

$169.00

Recent Concepts in Minimal Access Surgery

$84.99

Climate Change

$169.99

Fuballgroveranstaltungen im Spannungsverhltnis zwischen Freiheit und Sicherheit

$119.00

The Patagonian Shelfbreak Front

$179.99

Temperatur- und Dehnungsmessungen in einem Gefrierschacht

$59.99

Wertungen, Werte Das Buch der gezielten Werteentwicklung von Persnlichkeiten

$24.99

Nachhaltigkeit: 111 Fragen und Antworten

$29.99

Natural Resource Monitoring, Planning and Management Based on Advanced Programming

$199.99

Cardiac Imaging in Electrophysiology

$169.99

Nature of Computation and Communication

$69.99

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

$109.99

Die Grundlagen unserer Ernhrung und unseres Stoffwechsels

$84.99

The Aeneid- (Penguin Classics Deluxe Edition) by Virgil

$19.00

Modelling Environmental Dynamics

$129.00

Hardware Description Languages and their Applications

$169.99

Lycanthropy in German Literature

$54.99

Theory and the Common from Marx to Badiou

$39.99

Unternehmenskommunikation

$44.99

Reliable Software Technologies - Ada-Europe '99

$39.99

Eukaryotic Membranes and Cytoskeleton

$169.99

Viral Vectors for Gene Therapy

$249.99

Restless Cities on the Edge

$99.99

Low Dielectric Constant Materials for IC Applications

$169.99

Die Agrarmeteorologie in der Pflanzenzchtung

$54.99

Advances in Model and Data Engineering in the Digitalization Era

$84.99

Sustainable Bioenergy and Bioproducts

$169.99

Risk Management of Water Supply and Sanitation Systems

$329.99

The Proton in Chemistry

$54.99

Moon

$279.99

Potyvirus Taxonomy

$54.99

Genomics of Plant Genetic Resources

$169.00

Differentialdiagnose Seltener Lungenerkrankungen im Rntgenbild

$59.99