Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods lauten 9783319955827, 3319955829 und die Druck-ISBNs lauten 9783319955810, 3319955810. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods lauten 9783319955827, 3319955829 und die Druck-ISBNs lauten 9783319955810, 3319955810. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.