Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

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 and published by Springer. The Digital and eTextbook ISBNs for Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning are 9783031197598, 3031197593 and the print ISBNs are 9783031197581, 3031197585. Save up to 80% versus print by going digital with VitalSource.

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 and published by Springer. The Digital and eTextbook ISBNs for Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning are 9783031197598, 3031197593 and the print ISBNs are 9783031197581, 3031197585. Save up to 80% versus print by going digital with VitalSource.