Leveraging Applications of Formal Methods, Verification and Validation

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.