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

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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

Dimensional Analysis and Self-Similarity Methods for Engineers and Scientists

$109.99

Evolution and Impact of Transposable Elements

$169.00

Naturkatastrophen

$44.99

Mother Bruce

$5.96

Symposion ber Vergleichende Neuropathologie

$59.99

Boundary-Scan Interconnect Diagnosis

$129.00

Studies in Consumer Demand Econometric Methods Applied to Market Data

$169.99

Abschtzungen fr Differentialoperatoren im Halbraum

$49.99

An Integrated Approach for Added-Value Products from Lignocellulosic Biorefineries

$109.99

Advances in the Control of Theileriosis

$169.00

Jenseits des rationalen Handelns

$49.99

Practicing Catholic

$54.99

Respiratory Biomechanics

$84.99

Kreditwesengesetz

$59.99

Calcitonins Physiological and Pharmacological Aspects. Mafosfamide A Derivative of 4-Hydroxycycl

$84.99

Eine elementare Einfhrung in die Theorie der Turing-Maschinen

$69.99

India's New Capitalists

$109.99

Mike Mulligan and His Steam Shovel 75th Anniversary by Virginia Lee Burton

$21.99

An Introduction to the Uncertainty Principle

$109.99

Spontanverlauf und Therapiebeurteilung rheumatischer Erkrankungen

$59.99

Causal Explanation in Historiography

$44.99

Stochastic Optimization for Distributed Energy Resources in Smart Grids

$54.99

The Legend of Charlemagne in the Middle Ages

$119.99

Devotion to St. Anne in Texts and Images

$54.99

Frontiers of Quality Electronic Design (QED)

$129.99

Die wirtschaftlich trainierte Fra?

$59.99

Mathematical and Theoretical Neuroscience

$119.00

Enabling Manufacturing Competitiveness and Economic Sustainability

$169.00

Trust and Inspire- How Truly Great Leaders Unleash Greatness in Others by Stephen M. R. Covey

$18.99

Places of Memory and Legacies in an Age of Insecurities and Globalization

$54.99

Die Operation des Einsetzens bei rationalen Funktionen

$49.99

Aligned Carbon Nanotubes

$109.99

The Sharing Economy in Europe

$59.99

Insect Behavior

$84.99

CONPAR 86

$39.99

Silence and Subject in Modern Literature

$54.99

Variant Calling

$249.99

Regierungswechsel und Arbeitsmarktpolitik in Frankreich

$49.99

Fallorientierte Bankbetriebswirtschaft

$39.99

Stress and Suffering at Work

$139.99