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

The Definitive Guide to Grails 2

$49.99

Fehlermglichkeits- und Einflussanalyse

$17.99

Towards Mesoscience

$54.99

Disabled Students in Welsh Higher Education

$49.99

Electromagnetic Field Near Conducting Half-Space

$129.99

Molecular Applications in Cytology

$159.99

Einfhrung in die Theorie der kognitiven Kommunikation

$119.99

Stepping Back from the Ledge - A Daughter's Search for Truth and Renewal by Laura Trujillo

$27.00

Nachrichtenbertragung

$44.99

Acta Demographica 19941996

$59.99

Advances in Superprocesses and Nonlinear PDEs

$84.99

The Heart of Betrayal (The Remnant Chronicles #2) by Mary E. Pearson

$12.99

Visual Electrodiagnosis in Systemic Diseases

$54.99

Interferenzschichten-Mikroskopie

$64.99

Fundamentals of Music Processing

$54.99

New Work, Neues Arbeiten virtuell und in Prsenz

$49.99

Byron and the Rhetoric of Italian Nationalism

$54.99

Sex, Power and the Games

$99.99

Federlegierungen aus NE-Metallen

$59.99

Marketing in Evolution

$169.99

Das Handlungsunrecht der Steuerhinterziehung

$69.99

Algebraic and Analytic Microlocal Analysis

$249.99

Sustainable Agriculture Reviews 61

$159.99

Die Bindungsformel

$59.99

Aus den Werksttten der Lebensforschung

$69.99

The Proceedings of the 18th Annual Conference of China Electrotechnical Society

$299.00

The Future of Financial Systems in the Digital Age

$59.99

Tsunami Research at the End of a Critical Decade

$109.99

Niklas Luhmann

$79.99

Ethics on the Laboratory Floor

$54.99

The Eurasian Wheat Belt and Food Security

$84.99

Modelling and Decisions in Economics

$109.99

Impact of Air Pollutants on Southern Pine Forests

$169.99

Stenosis of the Cervical Spine

$84.99

Responsible and Sustainable Operations

$199.99

Kapitalstruktur und Corporate Governance in bankorientierten Finanzsystemen

$59.99

Blackeyed

$49.99

Handbuch Verkehrsunfallrekonstruktion

$119.00

Methoden der Ganzzahligen Optimierung

$39.99

Kalam Cosmological Argument

$14.99