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
Blood Use in Cardiac Surgery
$39.99
Bodies, Boundaries and Vulnerabilities
$54.99
30 Years since the Fall of the Berlin Wall
$169.99
Ordinary Differential Equations with Applications
$64.99
BWL fr Mediziner im Krankenhaus
$44.99
The Change of Global Economic Governance and China
$129.00
Web, Web-Services, and Database Systems
$39.99
Trauma Responsive Child Welfare Systems
$139.99
Rehab Clinical Pocket Guide
$79.99
Das neue Marketing-Mindset
$44.99
Outward Foreign Direct Investment of Chinese Enterprises
$109.99
Post-Disaster Governance in Southeast Asia
$129.00
Krperliche Aktivitt und Gesundheit
$139.99
The JOBS Act
$54.99
Ultra High-Speed CMOS Circuits
$139.99
Cilia
$54.99
A Color Atlas of the Chinese Mecoptera
$169.99
The Companion Guide to the Mathematical Experience
$74.99
Achieving Consensus in Robot Swarms
$99.00
International Symposium in Memory of Hua Loo Keng
$54.99
Application of Intelligent Systems in Multi-modal Information Analytics
$219.99
The Politics of Private Security
$109.99
Understanding COVID-19: The Role of Computational Intelligence
$219.99
Hello Reader! Level 2: The Wrong-Way Rabbit
$3.71
Effects of Mass Loss on Stellar Evolution
$219.99
Taschenatlas der Schweizer Flora Atlas de poche de la flore suisse
$59.99
Strafrechtliche Sanktionen
$29.99
Advances in Solid State Physics 46
$129.00
Technology Assessment
$69.99
Time Resolution in Auditory Systems
$84.99
Teachers as Tutors: Shadow Education Market Dynamics in Georgia
$109.99
Die Entwickelung der Landwirtschaft unter dem Einflusse der Naturwissenschaften im 19. Jahrhundert
$54.99
Rookie Toddler: Red Apple, Green Pear
$5.21
Project Management and Engineering Research, 2014
$109.99
Functions of Natural Organic Matter in Changing Environment
$259.00
Shape-Preserving Approximation by Real and Complex Polynomials
$39.99
Konstruktiv kommunizieren im Web 2.0
$39.99
Managing Your Headaches
$19.99
Kooperationsmanagement in der Praxis
$29.99
Pediatric Urology
$169.99
