Hero image 0 of Lecture Notes in Computer Science Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, Fomlas 2022, and, Book 13466, (Paperback), 0 of 1
Lecture Notes in Computer Science Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, Fomlas 2022, and, Book 13466, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, Fomlas 2022, and, Book 13466, (Paperback)
- Author: Springer
- ISBN: 9783031212215
- Format: Paperback
- Publication Date: 2022-12-16
- Page Count: 205
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateDecember, 2022
- Pages205
- SubgenreProgramming
Current price is USD$69.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Thu, May 7
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $76.25
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
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.
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.
- Lecture Notes in Computer Science Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, Fomlas 2022, and, Book 13466, (Paperback)
- Author: Springer
- ISBN: 9783031212215
- Format: Paperback
- Publication Date: 2022-12-16
- Page Count: 205
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
December, 2022
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Confere, Book 14457, (Paperback) $69.99
$6999current price $69.99Lecture Notes in Computer Science Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Confere, Book 14457, (Paperback)
Lecture Notes in Computer Science Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, Setta 2022, Beijing, Ch, Book 13649, (Paperback) $69.99
$6999current price $69.99Lecture Notes in Computer Science Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, Setta 2022, Beijing, Ch, Book 13649, (Paperback)
Lecture Notes in Computer Science Wireless Artificial Intelligent Computing Systems and Applications: 18th International Conference, Wasa 2024, Qindao, Ch, Book 14999, (Paperback) $64.84
$6484current price $64.84Lecture Notes in Computer Science Wireless Artificial Intelligent Computing Systems and Applications: 18th International Conference, Wasa 2024, Qindao, Ch, Book 14999, (Paperback)
Lecture Notes in Computer Science Multiple Classifier Systems: 4th International Workshop, MCS 2003, Guilford, Uk, June 11-13, 2003, Proceedings, Book 2709, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Multiple Classifier Systems: 4th International Workshop, MCS 2003, Guilford, Uk, June 11-13, 2003, Proceedings, Book 2709, (Paperback)
Lecture Notes in Computer Science Hci International 2023 - Late Breaking Papers: 25th International Conference on Human-Computer Interaction, Hcii 2023, C, Book 14056, (Paperback) $75.58
$7558current price $75.58Lecture Notes in Computer Science Hci International 2023 - Late Breaking Papers: 25th International Conference on Human-Computer Interaction, Hcii 2023, C, Book 14056, (Paperback)
Lecture Notes in Computer Science Operating Systems of the 90s and Beyond: International Workshop, Dagstuhl Castle, Germany July 8-12, 1991. Proceedings, Book 563, (Paperback) $69.99
$6999current price $69.99Lecture Notes in Computer Science Operating Systems of the 90s and Beyond: International Workshop, Dagstuhl Castle, Germany July 8-12, 1991. Proceedings, Book 563, (Paperback)
Cognitive Technologies Smartkom: Foundations of Multimodal Dialogue Systems, (Paperback) $68.61
$6861current price $68.61Cognitive Technologies Smartkom: Foundations of Multimodal Dialogue Systems, (Paperback)
Communications in Computer and Informati Database and Expert Systems Applications - Dexa 2023 Workshops: 34th International Conference, Dexa 2023, Penang, Malays, Book 1872, (Paperback) $69.99
$6999current price $69.99Communications in Computer and Informati Database and Expert Systems Applications - Dexa 2023 Workshops: 34th International Conference, Dexa 2023, Penang, Malays, Book 1872, (Paperback)
Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Even, Book 13230, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Even, Book 13230, (Paperback)
Lecture Notes in Computer Science Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisba, Book 14308, (Paperback) $69.99
$6999current price $69.99Lecture Notes in Computer Science Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisba, Book 14308, (Paperback)
Lecture Notes in Computer Science Pattern Recognition. Icpr 2024 International Workshops and Challenges: Kolkata, India, December 1, 2024, Proceedings, Pa, Book 15618, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Pattern Recognition. Icpr 2024 International Workshops and Challenges: Kolkata, India, December 1, 2024, Proceedings, Pa, Book 15618, (Paperback)
Artificial Intelligence: Methodology, Systems, and Applications: 19th International Conference, Aimsa 2024, Varna, Bulga, (Paperback) $64.99
$6499current price $64.99Artificial Intelligence: Methodology, Systems, and Applications: 19th International Conference, Aimsa 2024, Varna, Bulga, (Paperback)
Lecture Notes in Computer Science Adaptive Instructional Systems: 7th International Conference, Ais 2025, Held as Part of the 27th Hci International Confe, Book 15812, (Paperback) $84.99
$8499current price $84.99Lecture Notes in Computer Science Adaptive Instructional Systems: 7th International Conference, Ais 2025, Held as Part of the 27th Hci International Confe, Book 15812, (Paperback)
Lecture Notes of the Institute for Compu Security and Privacy in Cyber-Physical Systems and Smart Vehicles: Second Eai International Conference, Smartsp 2024, Ne, Book 622, (Paperback) $64.99
$6499current price $64.99Lecture Notes of the Institute for Compu Security and Privacy in Cyber-Physical Systems and Smart Vehicles: Second Eai International Conference, Smartsp 2024, Ne, Book 622, (Paperback)
Lecture Notes in Computer Science Pattern Recognition. Icpr 2024 International Workshops and Challenges: Kolkata, India, December 1, 2024, Proceedings, Pa, Book 15616, (Paperback) $99.99
$9999current price $99.99Lecture Notes in Computer Science Pattern Recognition. Icpr 2024 International Workshops and Challenges: Kolkata, India, December 1, 2024, Proceedings, Pa, Book 15616, (Paperback)
Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback)
Lecture Notes in Computer Science Pattern Recognition. Icpr 2024 International Workshops and Challenges: Kolkata, India, December 1, 2024, Proceedings, Pa, Book 15619, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Pattern Recognition. Icpr 2024 International Workshops and Challenges: Kolkata, India, December 1, 2024, Proceedings, Pa, Book 15619, (Paperback)
Lecture Notes in Computer Science Conceptual Modeling for New Information Systems Technologies: Er 2001 Workshops, Humacs, Daswis, Ecomo, and Dama, Yokoha, Book 2465, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Conceptual Modeling for New Information Systems Technologies: Er 2001 Workshops, Humacs, Daswis, Ecomo, and Dama, Yokoha, Book 2465, (Paperback)
Lecture Notes in Computer Science Uncertainty for Safe Utilization of Machine Learning in Medical Imaging: 6th International Workshop, Unsure 2024, Held i, Book 15167, (Paperback) $64.99
$6499current price $64.99Lecture Notes in Computer Science Uncertainty for Safe Utilization of Machine Learning in Medical Imaging: 6th International Workshop, Unsure 2024, Held i, Book 15167, (Paperback)
Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Ne, Book 14568, (Paperback) $44.99
$4499current price $44.99Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Ne, Book 14568, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Azure Language
- Computer System Examples
- Emacs Programming
- Sun Certification Java Programmer
- Infrastructure Computer
- Computer Automation
- General Enterprise Applications Books
- Project Management Books
- General Desktop Applications Books
- Desktop Applications Databases Books
- General Certification Guide Books
- Data Processing Books