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

Beitrge zur Beurtheilung des Nutzens der Schutzpockenimpfung nebst Mittheilungen ber Maregeln zur

$39.99

Molecular Ecology and Evolution: Approaches and Applications

$84.99

Ersatzsicherheiten im Kreditgeschft

$54.99

Electrodynamics and Optics

$59.99

Engineering Applications of Neural Networks

$109.99

The New Frontiers in Plant Biochemistry

$54.99

Illuminating How Identities, Stereotypes and Inequalities Matter through Gender Studies

$109.99

Anhang zu Konstruieren und Berechnen

$39.99

Urban Climate Science for Planning Healthy Cities

$119.00

Advanced Information Systems Engineering

$84.99

Mechanics of Failure Mechanisms in Structures

$109.99

Neuartige Ylidinkomplexe des Niobs

$44.99

Humangenetik und Medizin

$44.99

Deutsch fr rztinnen und rzte

$49.99

Fragility Fracture and Orthogeriatric Nursing

$59.99

Kinder- und Jugendhilferecht

$17.99

Handbook of Atomization and Sprays

$469.00

Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Managemen

$259.00

Make Your Organization a Center of Innovation

$39.99

Katastrophenmedizin Eine Standortbestimmung

$59.99

Evolvable Systems: From Biology to Hardware

$39.99

Property Crime in London, 1850Present

$54.99

Politische Psychologie heute

$74.99

Kraftfahrzeugemissionen und Ozonbildung

$59.99

Analytical Ultracentrifugation V

$39.99

Carbon Management, Technologies, and Trends in Mediterranean Ecosystems

$54.99

Biodegradable Polymers and Plastics

$169.00

Praxishandbuch Arbeitsrecht

$49.99

Responsible Investment and the Claim of Corporate Change

$39.99

Palliative Care

$49.99

Programmformeln und Praxisformen von Soziokultur

$69.99

Consumer Neuroscience

$84.99

Proceedings of the 2022 International Petroleum and Petrochemical Technology Conference

$329.99

Information and Communications Security

$54.99

Advanced Topics in Artificial Intelligence

$39.99

Gesetz betreffend den Verkehr mit Wein, weinhaltigen und weinhnlichen Getrnken vom 20. April 1892

$44.99

Cryptographic Hardware and Embedded Systems -- CHES 2014

$54.99

People and Computers XV Interaction without Frontiers

$109.99

Aphasia A Social Approach

$109.99

Economic and Political Reform in Developing Countries

$74.99