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

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 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

Numerical Methods and Applications

$39.99

Ceramics and Society

$129.99

Handelsbilanzen

$59.99

Therapie im Grenzgebiet von Psychiatrie und Neurologie

$84.99

Evolutionary Multi-Criterion Optimization

$109.99

Handling Societal Complexity

$84.99

The Early Baroque Era

$109.99

Kriminalitt am Arbeitsplatz

$39.99

Fhrung im Klassenzimmer

$9.99

The Digital Arts and Humanities

$169.99

Advanced Finite Element Technologies

$109.99

Mit ADHS erfolgreich im Beruf

$19.99

Networking Security and Standards

$129.00

Likelihood, Bayesian, and MCMC Methods in Quantitative Genetics

$299.00

Experimental IR Meets Multilinguality, Multimodality, and Interaction

$54.99

Structural Change, Productivity, and Climate Nexus in Agriculture

$109.99

Topology

$44.99

Neoclassical International Economics

$74.99

Linguistic Theory and Complex Words

$54.99

Simulations for Personnel Selection

$84.99

Microeconomics, Macroeconomics and Economic Policy

$54.99

Federn und ihre Schnelle Berechnung

$59.99

Kundenerfahrungen im Dienstleistungsprozess

$74.99

Receptors and Other Targets for Toxic Substances

$109.99

Policy Reforms and Agriculture Development in Central Asia

$169.00

Dynamische Grundkonstellationen in Endogenen Psychosen

$59.99

Fatty Acid and Lipid Chemistry

$249.99

Cities and Citizenship at the U.S.-Mexico Border

$54.99

Chinas Rise and Changing Order in East Asia

$119.99

Die Logik direkter Demokratie

$59.99

New Space Markets

$169.00

Ingenieur-Mathematik

$49.99

Geriatric Trauma and Acute Care Surgery

$99.00

Recent Work on Intrinsic Value

$129.00

Proceedings of the UNIfied Conference of DAMAS, IncoME and TEPEN Conferences (UNIfied 2023)

$299.00

Database and Expert Systems Applications

$54.99

Animal Ecology To-Day

$54.99

Reading Fluency

$109.99

Technische Informatik

$39.99

Transgenics in Dispute

$139.99