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 |
|
$40.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Atlas of Difficult Gynecological Surgery
$79.99
Mathematical Economics
$29.99
Nigerian Taxation
$109.99
Measure Theory and Probability Theory
$79.99
The Pluralist State
$29.99
God and Evil
$54.99
Methodological Prospects for Scientific Research
$109.99
On Genes, Gods and Tyrants
$54.99
Edge Computing EDGE 2021
$59.99
Toxic Masculinity, Casino Capitalism, and America's Favorite Card Game
$69.99
Parallel and Distributed Computing: Applications and Technologies
$109.99
Cocoa Pioneer Fronts since 1800
$54.99
Digital ist besser?! Psychologie der Online- und Mobilkommunikation
$34.99
Releasing Systems in Active Food Packaging
$199.99
Framing Commodities
$39.99
Endometrial Stem Cells and Its Potential Applications
$54.99
New Aspects of Quantum Electrodynamics
$129.99
Academic Flying and the Means of Communication
$49.99
The Shoulder
$199.99
Information and Complexity in Statistical Modeling
$39.99
Financial Services in Nigeria
$119.00
SngerInnenberuf heute
$44.99
Transition and Change in Collectivist Family Life
$54.99
The Cochlea
$219.99
Advances in Information and Computer Security
$54.99
Japans Economic Policy
$84.99
EAI International Conference on Automation and Control in Theory and Practice
$249.99
Economic Problems of Agriculture in Industrial Societies
$219.99
Grundlagen des Leichtbaus
$149.99
Atlantic History in the Nineteenth Century
$109.99
Tabby's First Quest (Kitten Kingdom #1)
$4.49
Corgi Can
$5.24
Preismanagement in der unternehmerischen Praxis
$59.99
Control and Instrumentation for Wastewater Treatment Plants
$84.99
Big Data Analytics and Computational Intelligence for Cybersecurity
$169.99
Annual Report on the Big Data of New Energy Vehicle in China (2021)
$37.99
Trafalgar in History
$49.99
Old Ways for New Days
$24.99
Gegenwelten
$39.99
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Acceler
$109.99
