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

Fragile Families and the Marriage Agenda

$54.99

Electronic Spatial Sensing for the Blind

$329.99

Topics in Nonlinear Mechanics and Physics

$109.99

Not Without My Sister by Marion Kummerow

$12.99

Magnetic Resonance in Experimental and Clinical Oncology

$219.99

Lehrbuch der F.X. Mayr-Medizin

$99.99

Developments in Demography in the 21st Century

$159.99

Iceland Geodynamics

$149.00

Enterprise Management with SAP SEM / Business Analytics

$74.99

Euro-Par 2023: Parallel Processing

$99.99

The Semantic Web: Semantics and Big Data

$39.99

Practices and Trends in Ground Improvement Techniques

$139.99

Topological States for New Modes of Information Storage and Transfer

$169.99

An Introduction to Agroforestry

$139.99

Bacterial Activation of Type I Interferons

$84.99

Smart Modelling for Engineering Systems

$169.00

Chitosan-Based Nanocomposite Materials

$109.99

R.E.A.L. Base Set B Grade K (10-Pack)

$339.99

Big Data BigData 2018

$54.99

I Survived True Stories: Tornado Terror (#3)

$4.46

Karl Jaspers

$54.99

Elemente der Chemie-Ingenieur-Technik

$79.99

The Half Breed Tracts in Early National America

$59.99

Carotenoids

$219.99

High Resolution Manufacturing from 2D to 3D/4D Printing

$169.99

Biological Nitrogen Fixation for Sustainable Agriculture

$169.99

Aufwachsen mit Medien

$17.99

Chaos

$129.00

Problems and Puzzles in Electric Fields

$79.99

National Development Banks in South America

$119.99

Advances, Applications and the Future of Haptic Technology

$49.99

The Culture of the Gift in Eighteenth-Century England

$54.99

Geometry of Curves and Surfaces with MAPLE

$39.99

Leukotrienes

$169.99

Science Super Giants: Can You Fly High, Wright Brothers?

$3.74

Kurzgefate Geschichte der Volkswirtschaftslehre

$59.99

Life in Motion

$5.96

Structure of Arbitrary Purely Inseparable Extensions

$29.99

Landtagswahlen in Nordrhein-Westfalen

$59.99

Von der Industrie 4.0 zum Geschftsmodell 4.0

$17.99