Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Leveraging Applications of Formal Methods, Verification and Validation. Practice lauten 9783031197628, 3031197623 und die Druck-ISBNs lauten 9783031197611, 3031197615. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Leveraging Applications of Formal Methods, Verification and Validation. Practice lauten 9783031197628, 3031197623 und die Druck-ISBNs lauten 9783031197611, 3031197615. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.