Copied Software Verification
Software Verification
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.
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 |
|
$44.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Heimdialyse
$59.99
Nordic Contributions in IS Research
$72.00
Simplifying Medical Ultrasound
$44.99
Amy Wu and the Perfect Bao
$5.21
Mathematical Models for Handling Partial Knowledge in Artificial Intelligence
$169.99
Catheter Based Valve and Aortic Surgery
$79.99
Genetische Rekombination
$49.99
Value in a Digital World
$37.99
Cursive Writing Practice: Inspiring Quotes
$8.24
ISSE 2010 Securing Electronic Business Processes
$54.99
Theorie der Domnenwnde in geordneten Medien
$44.99
Die Ordnung der Bildung
$59.99
The Industrialisation of Arts Education
$49.99
Dieselmotoren in der Elektrizittswirtschaft, insbesondere fr Spitzendeckung
$59.99
Science of Crystal Structures
$109.99
Bioinorganic Chemistry
$169.00
Judicial Responses to Climate Change in the Global South
$119.00
Gravitational Lenses
$129.00
The Network Collective
$219.99
The Idea of Phenomenology
$99.99
Erfolgsfaktor Innovation
$99.00
Krpermass-Studien an Kindern
$59.99
Sitzungsbericht
$69.99
Unbeobachtete Kommunikation
$99.99
Event-Triggered Control of Switched Linear Systems
$159.99
Behavioral Theories and Treatment of Anxiety
$54.99
Houses and Households
$109.99
HCI International 2023 Late Breaking Papers
$89.99
Selected Areas in Cryptography
$54.99
Consumerism in the Human Services
$64.99
Kampfplatz Justiz
$32.99
Low-Power Smart Imagers for Vision-Enabled Sensor Networks
$84.99
Genetic Engineering
$39.99
Irish Theatre in Transition
$54.99
Prosopagnosia
$109.99
Mikrokonomik - Schnell erfasst
$39.99
A Comprehensive Cognitive Behavioral Program for Offenders
$54.99
African Entrepreneurship
$149.00
Macroeconomic Theory and Macroeconomic Pedagogy
$54.99
Riemann Surfaces
$109.99
