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

Verified Software: Theories, Tools and Experiments

Verified Software: Theories, Tools and Experiments

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319121543
Condition
New
Product Description

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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

Adipositas bei Kindern und Jugendlichen

$59.99

Contemporary Issues in Applied Economics

$109.99

Computer Aided Pharmaceutics and Drug Delivery

$279.99

Tomita-Takesaki Theory in Algebras of Unbounded Operators

$44.99

Politische Theologie bei Karl Barth, Helmut Gollwitzer und Jrgen Moltmann

$19.99

Diverse Voices of Disabled Sexualities in the Global South

$109.99

The Stonekeeper: A Graphic Novel (Amulet #1)

$9.74

Japan's Quest For A Permanent Security Council Seat

$249.99

Biologie fr Mediziner

$37.99

The State and Agrarian Change in Zimbabwe's Communal Areas

$74.99

Adaptive On- and Off-Earth Environments

$179.99

Latent Inhibition and Its Neural Substrates

$109.99

Geschlechterkonstruktionen nach der Wende

$44.99

Wachstumsstrategien in der Medienbranche

$69.99

Grassland Beef Production

$39.99

Beginning Scribus

$44.99

Computational Intelligence for Modern Business Systems

$129.00

Magnetic Properties of Paramagnetic Compounds, Magnetic Susceptibility Data, Volume 1

$549.00

Die Deflation und Ihre Praxis in England den Vereinigten Staaten Frankreich und der Tschechoslow

$59.99

Ultrastructure of Endocrine Cells and Tissues

$39.99

Philosophy of Latin America

$169.99

Gendering the Everyday in the UK House of Commons

$139.99

The holding company and corporate control

$39.99

Energie- und Parittsgewinnbedingungen auf Spielstrukturen

$39.99

Structural Chemistry of Layer-Type Phases

$219.99

Mechanische Verfahrenstechnik

$69.99

Data Mining and Big Data

$54.99

Unsere Klasse am Klavier

$54.99

Contextualizing Childhoods

$119.99

Echt und falsch

$44.99

The Semantic Web: ESWC 2015 Satellite Events

$54.99

Fine-Grained Image Analysis: Modern Approaches

$34.99

Critical Point Theory

$109.00

Investigations of Field Dynamics in Laser Plasmas with Proton Imaging

$109.99

Turbulence and Interactions

$169.00

Schistosoma mansoni

$89.00

Lane-Based Unmanned Aircraft Systems Traffic Management

$119.99

Map Construction Algorithms

$54.99

Intersections of HirzebruchZagier Divisors and CM Cycles

$49.95

Studien ber Arbeitspausen in Betrieben bei freier und zeitgebundener Arbeit (Fliearbeit) und ihre

$59.99