Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends lauten 9783030837235, 3030837238 und die Druck-ISBNs lauten 9783030837228, 303083722X. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends lauten 9783030837235, 3030837238 und die Druck-ISBNs lauten 9783030837228, 303083722X. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.