Integrated Formal Methods

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Integrated Formal Methods lauten 9783031077272, 303107727X und die Druck-ISBNs lauten 9783031077265, 3031077261. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Integrated Formal Methods lauten 9783031077272, 303107727X und die Druck-ISBNs lauten 9783031077265, 3031077261. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.