Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Leveraging Applications of Formal Methods, Verification and Validation lauten 9783030891596, 3030891593 und die Druck-ISBNs lauten 9783030891589, 3030891585. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Leveraging Applications of Formal Methods, Verification and Validation lauten 9783030891596, 3030891593 und die Druck-ISBNs lauten 9783030891589, 3030891585. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.