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

Blood Use in Cardiac Surgery

$39.99

Bodies, Boundaries and Vulnerabilities

$54.99

30 Years since the Fall of the Berlin Wall

$169.99

Ordinary Differential Equations with Applications

$64.99

BWL fr Mediziner im Krankenhaus

$44.99

The Change of Global Economic Governance and China

$129.00

Web, Web-Services, and Database Systems

$39.99

Trauma Responsive Child Welfare Systems

$139.99

Rehab Clinical Pocket Guide

$79.99

Das neue Marketing-Mindset

$44.99

Outward Foreign Direct Investment of Chinese Enterprises

$109.99

Post-Disaster Governance in Southeast Asia

$129.00

Krperliche Aktivitt und Gesundheit

$139.99

The JOBS Act

$54.99

Ultra High-Speed CMOS Circuits

$139.99

Cilia

$54.99

A Color Atlas of the Chinese Mecoptera

$169.99

The Companion Guide to the Mathematical Experience

$74.99

Achieving Consensus in Robot Swarms

$99.00

International Symposium in Memory of Hua Loo Keng

$54.99

Application of Intelligent Systems in Multi-modal Information Analytics

$219.99

The Politics of Private Security

$109.99

Understanding COVID-19: The Role of Computational Intelligence

$219.99

Hello Reader! Level 2: The Wrong-Way Rabbit

$3.71

Effects of Mass Loss on Stellar Evolution

$219.99

Taschenatlas der Schweizer Flora Atlas de poche de la flore suisse

$59.99

Strafrechtliche Sanktionen

$29.99

Advances in Solid State Physics 46

$129.00

Technology Assessment

$69.99

Time Resolution in Auditory Systems

$84.99

Teachers as Tutors: Shadow Education Market Dynamics in Georgia

$109.99

Die Entwickelung der Landwirtschaft unter dem Einflusse der Naturwissenschaften im 19. Jahrhundert

$54.99

Rookie Toddler: Red Apple, Green Pear

$5.21

Project Management and Engineering Research, 2014

$109.99

Functions of Natural Organic Matter in Changing Environment

$259.00

Shape-Preserving Approximation by Real and Complex Polynomials

$39.99

Konstruktiv kommunizieren im Web 2.0

$39.99

Managing Your Headaches

$19.99

Kooperationsmanagement in der Praxis

$29.99

Pediatric Urology

$169.99