Software Engineering and Formal Methods

€72.90


Available for sending in 4/5 days

Product Information

ISBN9783031171079
PublisherSpringer International Publishing AG
Price (excl. tax)€68.77
Tax€4.13
Price (incl. tax)€72.90
Availability1 unit in external warehouse

Product Description

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. formal methods for intelligent and learning systems;