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
Fragile Families and the Marriage Agenda
$54.99
Electronic Spatial Sensing for the Blind
$329.99
Topics in Nonlinear Mechanics and Physics
$109.99
Not Without My Sister by Marion Kummerow
$12.99
Magnetic Resonance in Experimental and Clinical Oncology
$219.99
Lehrbuch der F.X. Mayr-Medizin
$99.99
Developments in Demography in the 21st Century
$159.99
Iceland Geodynamics
$149.00
Enterprise Management with SAP SEM / Business Analytics
$74.99
Euro-Par 2023: Parallel Processing
$99.99
The Semantic Web: Semantics and Big Data
$39.99
Practices and Trends in Ground Improvement Techniques
$139.99
Topological States for New Modes of Information Storage and Transfer
$169.99
An Introduction to Agroforestry
$139.99
Bacterial Activation of Type I Interferons
$84.99
Smart Modelling for Engineering Systems
$169.00
Chitosan-Based Nanocomposite Materials
$109.99
R.E.A.L. Base Set B Grade K (10-Pack)
$339.99
Big Data BigData 2018
$54.99
I Survived True Stories: Tornado Terror (#3)
$4.46
Karl Jaspers
$54.99
Elemente der Chemie-Ingenieur-Technik
$79.99
The Half Breed Tracts in Early National America
$59.99
Carotenoids
$219.99
High Resolution Manufacturing from 2D to 3D/4D Printing
$169.99
Biological Nitrogen Fixation for Sustainable Agriculture
$169.99
Aufwachsen mit Medien
$17.99
Chaos
$129.00
Problems and Puzzles in Electric Fields
$79.99
National Development Banks in South America
$119.99
Advances, Applications and the Future of Haptic Technology
$49.99
The Culture of the Gift in Eighteenth-Century England
$54.99
Geometry of Curves and Surfaces with MAPLE
$39.99
Leukotrienes
$169.99
Science Super Giants: Can You Fly High, Wright Brothers?
$3.74
Kurzgefate Geschichte der Volkswirtschaftslehre
$59.99
Life in Motion
$5.96
Structure of Arbitrary Purely Inseparable Extensions
$29.99
Landtagswahlen in Nordrhein-Westfalen
$59.99
Von der Industrie 4.0 zum Geschftsmodell 4.0
$17.99
