Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... (Lecture Notes in Computer Science, 13466) - Image 1

£49.14

Springer Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... (Lecture Notes in Computer Science, 13466)

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... (Lecture Notes in Computer Science, 13466)
Brand: Springer
Price: 49.14 GBP
Availability: InStock

AI & Machine Learning

This is the most expensive it has ever been. Walk away.

£49 today · previous high £49 · all-time low £49

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 80 days · 80 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 80 days • 1 price levels

Days at Price

Price Analysis

Most common price: £49 (80 days, 100.0%)

Price range: £49 - £49

Price levels: 1 different prices over 80 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031212215
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 16 December 2022
Listed Since: 11 October 2022

Barcode

No barcode data available

Springer Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... (Lecture Notes in Computer Science, 13466)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... (Lecture Notes in Computer Science, 9952)

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science, 14308)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Specification and Verification of Multi-agent Systems

Systems and Software Verification: Model-Checking Techniques and Tools

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings: 15234 (Lecture Notes in Computer Science, 15234)

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science, 8559)

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Computer Vision – ECCV 2022 Workshops: Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part V: 13805 (Lecture Notes in Computer Science, 13805)

Theory and Practice of Quality Assurance for Machine Learning Systems: An Experiment-Driven Approach

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings: 4763 (Lecture Notes in Computer Science, 4763)

Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings: 15191 (Lecture Notes in Computer Science, 15191)

Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012: 265 (Lecture Notes in Electrical Engineering, 265)

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, ... (Lecture Notes in Computer Science, 15529)

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings: 13474 (Lecture Notes in Computer Science, 13474)

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, ... (Lecture Notes in Computer Science, 12853)

Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022: 555 (Lecture Notes in Networks and Systems, 555)

Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings: 14390 (Lecture Notes in Computer Science, 14390)

Machine Learning Methods in Systems: Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4: 1126 (Lecture Notes in Networks and Systems, 1126)

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)