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
Beitrge zur Beurtheilung des Nutzens der Schutzpockenimpfung nebst Mittheilungen ber Maregeln zur
$39.99
Molecular Ecology and Evolution: Approaches and Applications
$84.99
Ersatzsicherheiten im Kreditgeschft
$54.99
Electrodynamics and Optics
$59.99
Engineering Applications of Neural Networks
$109.99
The New Frontiers in Plant Biochemistry
$54.99
Illuminating How Identities, Stereotypes and Inequalities Matter through Gender Studies
$109.99
Anhang zu Konstruieren und Berechnen
$39.99
Urban Climate Science for Planning Healthy Cities
$119.00
Advanced Information Systems Engineering
$84.99
Mechanics of Failure Mechanisms in Structures
$109.99
Neuartige Ylidinkomplexe des Niobs
$44.99
Humangenetik und Medizin
$44.99
Deutsch fr rztinnen und rzte
$49.99
Fragility Fracture and Orthogeriatric Nursing
$59.99
Kinder- und Jugendhilferecht
$17.99
Handbook of Atomization and Sprays
$469.00
Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Managemen
$259.00
Make Your Organization a Center of Innovation
$39.99
Katastrophenmedizin Eine Standortbestimmung
$59.99
Evolvable Systems: From Biology to Hardware
$39.99
Property Crime in London, 1850Present
$54.99
Politische Psychologie heute
$74.99
Kraftfahrzeugemissionen und Ozonbildung
$59.99
Analytical Ultracentrifugation V
$39.99
Carbon Management, Technologies, and Trends in Mediterranean Ecosystems
$54.99
Biodegradable Polymers and Plastics
$169.00
Praxishandbuch Arbeitsrecht
$49.99
Responsible Investment and the Claim of Corporate Change
$39.99
Palliative Care
$49.99
Programmformeln und Praxisformen von Soziokultur
$69.99
Consumer Neuroscience
$84.99
Proceedings of the 2022 International Petroleum and Petrochemical Technology Conference
$329.99
Information and Communications Security
$54.99
Advanced Topics in Artificial Intelligence
$39.99
Gesetz betreffend den Verkehr mit Wein, weinhaltigen und weinhnlichen Getrnken vom 20. April 1892
$44.99
Cryptographic Hardware and Embedded Systems -- CHES 2014
$54.99
People and Computers XV Interaction without Frontiers
$109.99
Aphasia A Social Approach
$109.99
Economic and Political Reform in Developing Countries
$74.99
