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

$49.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$49.50
See Site In stock Visit Store

Similar Products

Cybersecurity Policy in the EU and South Korea from Consultation to Action

$129.99

International Monetary Cooperation Among the United States, Japan, and Germany

$54.99

Oaks Physiological Ecology. Exploring the Functional Diversity of Genus Quercus L

$329.99

Research in Computational Molecular Biology

$49.99

Wissen und Bildung in der antiken Philosophie

$39.99

Habitus und Studium

$49.99

A History of Finnish Higher Education from the Middle Ages to the 21st Century

$119.99

Into The Nano Era

$219.99

Innovationen im Mittelstand erfolgreich managen

$39.99

Die Integration von Unternehmungs-und Personalplanung

$49.99

Allgemeine Methode zur Bestimmung der Ameisensure in Lebensmitteln

$49.99

Urodynamic Testing After Spinal Cord Injury

$69.99

Natural Language Processing for the Semantic Web

$64.99

Machine Learning for Medical Image Reconstruction

$44.99

The Biology of Aging

$54.99

Solidarity in Open Societies

$59.99

Supply Chain Management

$19.99

Fokus Personalentwicklung

$34.99

Toxisch

$24.99

Random Fields and Geometry

$119.00

Umwelt-Ratgeber BAU

$14.99

The Screening Handbook

$54.99

Der auenpolitische Entscheidungsproze der USA

$59.99

Basic Technical Analysis of Financial Markets

$54.99

Proceedings of the Eighth International Symposium on Cyclodextrins

$259.00

Einfhrung in die Kulturbetriebslehre

$19.99

Atlas of Non-Gynecologic Cytology

$219.99

Sartre, Nietzsche and Non-Humanist Existentialism

$89.99

Schlanker Materialfluss

$159.99

Advances in Material Forming

$109.99

Designing Public Policies

$54.99

Beginning Android

$44.99

Economic and Societal Transformation in Pandemic-Trapped India

$199.99

European Research on Sustainable Development

$84.99

Managing Social Robotics and Socio-cultural Business Norms

$49.99

Teilchenphysik aus heutiger Sicht

$49.99

Kosten- und zeiteffizienter Wandel von Produktionssystemen

$74.99

Russian Central Asia in the Works of Nikolai Karazin, 18421908

$99.99

Konstruktivismus und Umweltbildung

$64.99

Critical Reviews in Tropical Medicine

$54.99