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

Democracy Without Politics in EU Citizen Participation

$119.00

HPV and Cancer

$169.99

Water-Conservation Traits to Increase Crop Yields in Water-deficit Environments

$39.99

Intelligent Image Databases

$109.99

Weak Dependence: With Examples and Applications

$129.99

Cold-Water Coral Reefs of the World

$219.99

Steroid Hormone Receptors: Basic and Clinical Aspects

$39.99

Membrane Transport in Biology

$109.99

Statistische Analyse linearer Regelsysteme

$69.99

Functional Condensation Polymers

$84.99

Beitrag zur Technik der Geburtshilfe bei der Stute unter Besonderer Bercksichtigung eines Zweckmss

$54.99

Intelligent Computing Techniques for Smart Energy Systems

$279.99

Information Security Education - Challenges in the Digital Age

$89.99

Multi-Sensor Data Fusion

$89.00

The Arab Spring

$54.99

Quick Guide Crypto Assets

$44.99

The Theory and Measurement of International Economic Integration

$54.99

Die Montage im flexiblen Produktionsbetrieb

$59.99

Test Data Engineering

$159.99

Machines, Bodies and Invisible Hands

$119.99

Die allgemeinen Fernsprecheinrichtungen der Deutschen Reichs-Post- und Telegraphen-Verwaltung

$49.99

Relaxation of the Chemical Bond

$219.99

Beziehungsmedizin auf dem Monte Verit

$39.99

Vascular Access in Neonates and Children

$169.99

Einfhrung in die Vererbungswissenschaft

$59.99

Atlas of Esophageal Surgery

$79.99

The Solar Engine and Its Influence on Terrestrial Atmosphere and Climate

$169.99

Statics Formulas and Problems

$29.99

Keine Panik vor Thermodynamik!

$29.99

Die Theorie der Gruppen von Endlicher Ordnung

$49.99

Alternative Envelope Components for Energy-Efficient Buildings

$84.99

Applied Superconductivity, Metallurgy, and Physics of Titanium Alloys

$54.99

Fhren aus der Hngematte

$39.99

Ocean Biogeochemistry

$219.99

The Turning Points of the New Phenomenological Era

$169.00

Jasmonate Signaling

$109.99

The Unknown Urban Realm

$54.99

Mediterranean Forum Data Science Conference

$54.99

Machine Learning in Medical Imaging

$49.99

Europeanisation, Soft Law and the Crisis

$89.99