Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II and published by Springer. The Digital and eTextbook ISBNs for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems are 9783031751073, 3031751078 and the print ISBNs are 9783031751066, 303175106X. Save up to 80% versus print by going digital with VitalSource.

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II and published by Springer. The Digital and eTextbook ISBNs for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems are 9783031751073, 3031751078 and the print ISBNs are 9783031751066, 303175106X. Save up to 80% versus print by going digital with VitalSource.