Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
£53.99
Includes FREE deliveryRRP £59.99 – you save £6.00 (10%)
Order before 4pm today for delivery by Mon 3 Aug 2026.
A Paperback by Tiziana Margaria, Bernhard Steffen
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III by Tiziana Margaria
Publisher: Springer International Publishing AG
Publication Date: Publication Date: 20/10/2022
ISBN13: 9783031197581, 978-3031197581
ISBN10: 3031197585