Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings - Lecture Notes in Computer - - Books - Springer International Publishing AG - 9783031212215 - December 16, 2022
In case cover and title do not match, the title is correct

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings - Lecture Notes in Computer 1st ed. 2022 edition

Price
$ 69.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 22 - 28

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

205 pages, 34 Illustrations, color; 8 Illustrations, black and white; X, 205 p. 42 illus., 34 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 16, 2022
ISBN13 9783031212215
Publishers Springer International Publishing AG
Pages 205
Dimensions 234 × 155 × 18 mm   ·   334 g
Language German  
Editor Isac, Omri
Editor Ivanov, Radoslav
Editor Katz, Guy
Editor Narodytska, Nina
Editor Nenzi, Laura

More from the same publisher