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

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

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

Scalable Uncertainty Management

$54.99

Gene Regulation by Steroid Hormones III

$129.00

The Philosophy of GIS

$199.99

Max Weber-Handbuch

$64.99

Umweltorientierte Betriebswirtschaftslehre

$49.99

Therapeutic Gastrointestinal Endoscopy

$279.99

Verbraucherschutz im Zivilrecht

$29.99

The Art of Writing Reasonable Organic Reaction Mechanisms

$89.99

Information Security and Cryptology -- ICISC 2013

$39.99

Urban Stormwater and Flood Management

$159.99

Benign Anorectal Diseases

$169.99

Analysis and Geometry

$84.99

Pain Control

$169.00

Knowledge Capitalism and State Theory

$129.99

Bedside Pain Management Interventions

$169.99

Recovery Risk in Credit Default Swap Premia

$54.99

Innovationsgesellschaft heute

$64.99

Teaching Shakespeare to ESL Students

$119.99

Scholar Zone Extended Learning Plus ELA Grade 1 (2 Scholar)

$90.00

Microelectronics and Microsystems

$84.99

Entrepreneurship and Regional Development

$109.99

Grundzge der Kolloidwissenschaft

$44.99

Bullies Grades 2-4

$49.00

Mediatisierung und Mediensozialisation

$49.99

Algebraic Aspects of Cryptography

$199.99

Mobile Professional Voluntarism and International Development

$31.00

Einfhrung in die Geschichte der Soziologie

$19.99

Technische Mechanik starrer Gebilde

$59.99

Heart Disease and Climate Change

$49.99

Harold Monro

$109.99

Validation in Chemical Measurement

$109.99

Formal Methods and Software Engineering

$54.99

Authentic Problem Solving and Learning in the 21st Century

$159.99

Narrative and Representation in the Poetry of Wallace Stevens

$169.99

Perspectives of Fullerene Nanotechnology

$84.99

Collisional Narrowing and Dynamical Decoupling in a Dense Ensemble of Cold Atoms

$109.99

The Soviet Military

$49.99

Generalized Bone Diseases

$109.99

Foundation of the Theory of Groupoids and Groups

$54.99

Eine elementare Einfhrung in die Theorie der Turing-Maschinen

$69.99