Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Best Price (Coupon Required):
Buy Software Verification and Formal Methods for ML-Enabled Autonomous Systems for $49.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.
Reviews
Questions & Answers
The Chemistry of Weathering
$169.00
Artificial Intelligence in Medicine
$54.99
Dynamische Faszien
$19.99
Decentralised Government in an Integrating World
$84.99
Solutions Architecture
$24.99
Misunderstanding International Relations
$44.99
Statistical Analysis of Designed Experiments, Third Edition
$129.00
Atlas of Handheld Ultrasound
$249.00
Sri Aurobindo at 150
$119.99
The Case Against 2 Per Cent Inflation
$29.99
New Insights in Photocatalysis for Environmental Applications
$39.99
The Evaluation of Social Policies
$84.99
Advanced Sensing and Robotics Technologies in Smart Agriculture
$179.99
LED-Based Photoacoustic Imaging
$79.99
Brcken von der Psychosomatik zur Allgemeinmedizin
$69.99
Post-Quantum Cryptography
$39.99
Toward a New (Old) Theory of Responsibility: Moving beyond Accountability
$54.99
Thinking and Acting as a Great Programme Manager
$39.99
The Reagan Administration, the Cold War, and the Transition to Democracy Promotion
$139.99
Advances in Material Science and Engineering
$129.00
Specifying Message Passing and Time-Critical Systems with Temporal Logic
$39.99
Graph Transformation
$59.99
Wahrscheinlichkeitsrechnung und mathematische Statistik
$49.99
Audiovisual Telecommunications
$219.99
Database and Expert Systems Applications
$84.99
Der auenpolitische Entscheidungsproze der USA
$59.99
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis
$84.99
Fifth Conference on Optimization Techniques. Rome 1973
$39.99
People, Problems, and Proofs
$49.99
Notes on Continuum Mechanics
$129.99
Faith Movements and Social Transformation
$54.99
ber die Methoden zur Bestimmung des Dispersittsgrades des Fettes in der Milch
$44.99
The Modernization Potential of Gas Turbines in the Coal-Fired Power Industry
$39.99
Stable Isotope Ecology
$109.99
Handbook of Computational Social Science for Policy
$49.99
SU(n), Darstellungstheorie und deren Anwendung im Quarkmodell
$49.99
Advances in Production Management Systems. Sustainable Production and Service Supply Chains
$109.99
Internet of Vehicles and its Applications in Autonomous Driving
$149.00
International Human Resource and Cross Cultural Management
$54.99
Prospects and Policies for Global Sustainable Recovery
$199.99
