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

Software Verification

Software Verification

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

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 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. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

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

Forests to Climate Change Mitigation

$109.99

Almost Periodic Type Functions and Ergodicity

$129.99

Measure, Integration & Real Analysis

$59.99

Materials Processing Fundamentals 2018

$169.99

Das QM-Handbuch

$39.99

The Essential Guide to Flash CS4 with ActionScript

$46.99

Digitales Empfehlungsmarketing

$29.99

Computational Science and Its Applications ICCSA 2017

$39.99

Women and Transitional Justice

$54.99

Kindlers Literatur Lexikon (KLL)

$169.99

Basic Semiconductor Physics

$129.99

The Science of Disasters

$109.99

Manufacturing Challenges in Electronic Packaging

$84.99

Kompakte Einfhrung in das Projektmanagement

$34.99

Choctaw Verb Agreement and Universal Grammar

$109.99

Towards Next Generation Grids

$169.99

Postoperative Wundheilungsstrungen

$69.99

Industrial Engineering and Operations Management

$279.99

Microalgae as a Feedstock for Biofuels

$54.99

Wireless Power Transfer Technologies for Electric Vehicles

$179.99

The Screenplay

$59.99

Intracellular Protein Catabolism II

$84.99

Implizite Volatilitten am Aktien- und Optionsmarkt

$49.99

Cerebral Ischemia

$54.99

Kandidatenaufstellung zur Bundestagswahl 1965

$94.00

Bounded Analytic Functions

$54.99

When We Flew Away: A Novel of Anne Frank Before the Diary (Hardcover)

$14.99

Methane and Methanol Utilizers

$169.99

Mobilittswende autonome Autos erobern unsere Straen

$29.99

Low Fertility in Advanced Asian Economies

$54.99

Drop Heating and Evaporation: Analytical Solutions in Curvilinear Coordinate Systems

$109.99

Demographic Aspects of Migration

$39.99

Diffusing Software Product and Process Innovations

$219.99

Diagnostic Cytopathology Board Review and Self-Assessment

$179.99

Brain Tumors

$44.99

Subjectivity in the American Protest Novel

$39.99

Handbook of Public Finance

$259.00

Emerging Research in Sustainable Energy and Buildings for a Low-Carbon Future

$169.99

Methods of Studying Plant Water Relations

$109.99

Advanced Systems-Level Problem Solving

$299.99