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

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.

Available Colors
Available Sizes
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$44.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
$44.99 $44.99

$44.99
See Site In stock Visit Store

Similar Products

Heimdialyse

$59.99

Nordic Contributions in IS Research

$72.00

Simplifying Medical Ultrasound

$44.99

Amy Wu and the Perfect Bao

$5.21

Mathematical Models for Handling Partial Knowledge in Artificial Intelligence

$169.99

Catheter Based Valve and Aortic Surgery

$79.99

Genetische Rekombination

$49.99

Value in a Digital World

$37.99

Cursive Writing Practice: Inspiring Quotes

$8.24

ISSE 2010 Securing Electronic Business Processes

$54.99

Theorie der Domnenwnde in geordneten Medien

$44.99

Die Ordnung der Bildung

$59.99

The Industrialisation of Arts Education

$49.99

Dieselmotoren in der Elektrizittswirtschaft, insbesondere fr Spitzendeckung

$59.99

Science of Crystal Structures

$109.99

Bioinorganic Chemistry

$169.00

Judicial Responses to Climate Change in the Global South

$119.00

Gravitational Lenses

$129.00

The Network Collective

$219.99

The Idea of Phenomenology

$99.99

Erfolgsfaktor Innovation

$99.00

Krpermass-Studien an Kindern

$59.99

Sitzungsbericht

$69.99

Unbeobachtete Kommunikation

$99.99

Event-Triggered Control of Switched Linear Systems

$159.99

Behavioral Theories and Treatment of Anxiety

$54.99

Houses and Households

$109.99

HCI International 2023 Late Breaking Papers

$89.99

Selected Areas in Cryptography

$54.99

Consumerism in the Human Services

$64.99

Kampfplatz Justiz

$32.99

Low-Power Smart Imagers for Vision-Enabled Sensor Networks

$84.99

Genetic Engineering

$39.99

Irish Theatre in Transition

$54.99

Prosopagnosia

$109.99

Mikrokonomik - Schnell erfasst

$39.99

A Comprehensive Cognitive Behavioral Program for Offenders

$54.99

African Entrepreneurship

$149.00

Macroeconomic Theory and Macroeconomic Pedagogy

$54.99

Riemann Surfaces

$109.99