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

$40.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$40.50
See Site In stock Visit Store

Similar Products

Atlas of Difficult Gynecological Surgery

$79.99

Mathematical Economics

$29.99

Nigerian Taxation

$109.99

Measure Theory and Probability Theory

$79.99

The Pluralist State

$29.99

God and Evil

$54.99

Methodological Prospects for Scientific Research

$109.99

On Genes, Gods and Tyrants

$54.99

Edge Computing EDGE 2021

$59.99

Toxic Masculinity, Casino Capitalism, and America's Favorite Card Game

$69.99

Parallel and Distributed Computing: Applications and Technologies

$109.99

Cocoa Pioneer Fronts since 1800

$54.99

Digital ist besser?! Psychologie der Online- und Mobilkommunikation

$34.99

Releasing Systems in Active Food Packaging

$199.99

Framing Commodities

$39.99

Endometrial Stem Cells and Its Potential Applications

$54.99

New Aspects of Quantum Electrodynamics

$129.99

Academic Flying and the Means of Communication

$49.99

The Shoulder

$199.99

Information and Complexity in Statistical Modeling

$39.99

Financial Services in Nigeria

$119.00

SngerInnenberuf heute

$44.99

Transition and Change in Collectivist Family Life

$54.99

The Cochlea

$219.99

Advances in Information and Computer Security

$54.99

Japans Economic Policy

$84.99

EAI International Conference on Automation and Control in Theory and Practice

$249.99

Economic Problems of Agriculture in Industrial Societies

$219.99

Grundlagen des Leichtbaus

$149.99

Atlantic History in the Nineteenth Century

$109.99

Tabby's First Quest (Kitten Kingdom #1)

$4.49

Corgi Can

$5.24

Preismanagement in der unternehmerischen Praxis

$59.99

Control and Instrumentation for Wastewater Treatment Plants

$84.99

Big Data Analytics and Computational Intelligence for Cybersecurity

$169.99

Annual Report on the Big Data of New Energy Vehicle in China (2021)

$37.99

Trafalgar in History

$49.99

Old Ways for New Days

$24.99

Gegenwelten

$39.99

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Acceler

$109.99