Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Software Verification
Best Price (Coupon Required):
Buy Software Verification for $40.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Smart Tourism as a Driver for Culture and Sustainability
$249.99
Artificial Intelligence: Methodology, Systems, and Applications
$39.99
Neuere Erfolge und Probleme Der Chemie
$49.99
Verdauungsdrsen
$59.99
How Transistor Area Shrank by Million Fold
$39.99
The Tender Ship
$54.99
OOIS 2000
$54.99
Indicators and Trends in Health and Health Care
$109.99
Chinese Language Education in the United States
$109.99
Vertragsrecht im unternehmerischen Geschftsverkehr
$49.99
New Cohesion Policy of the European Union in Poland
$109.99
Logical Empiricism and Pragmatism
$109.99
I. Herzklappenersatz - II. Chirurgische Behandlung bei Durchblutungsstrungen des Herzens
$59.99
Globalization and Human Rights in the Developing World
$54.99
DNA Microarrays: Gene Expression Applications
$54.99
Digital Diversity
$69.99
Compounds with 20 to 136 Carbon Atoms
$549.99
Musical Instruments in the 21st Century
$199.99
Academic Publishing
$39.99
Periphere arterielle Verschlusskrankheit auf den Punkt gebracht
$17.99
Java EE to Jakarta EE 10 Recipes
$64.99
From Adjustment To Development In Africa
$54.99
Conditionals in Nonmonotonic Reasoning and Belief Revision
$39.99
Mehrdimensionale Signalverarbeitung
$39.99
Scientific Computing
$54.99
Charlie Makes a Splash (Hardcover)
$14.24
From Striving to Thriving: How to Grow Confident, Capable Readers
$32.24
Intelligent Data Engineering and Automated Learning IDEAL 2017
$54.99
Mathematische Grundlagen der Technischen Mechanik III Materialmodelle in der Ingenieurmechanik
$44.99
Data Transmission at Millimeter Waves
$84.99
Transforming Society and Organizations through Gamification
$109.99
Eigenwerttheorie gewhnlicher Differentialgleichungen
$69.95
Structural Wood Detailing in CAD Format
$84.99
Psychoakustische Schallfeldsynthese fr Musik
$149.99
Europarties After Enlargement
$54.99
The Polish Portrait of Bonnie Prince Charlie
$54.99
Leistungsfhigkeit von Unternehmensbewertungsmodellen
$69.95
Einkommensteuerpflicht und Einkommensteuerveranlagung im Kriege
$59.99
Managementmoden in der Verwaltung
$69.99
Der Mensch in der Psychiatrie
$69.99
