Formal Methods Teaching

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods Teaching lauten 9783030324414, 3030324419 und die Druck-ISBNs lauten 9783030324407, 3030324400. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods Teaching lauten 9783030324414, 3030324419 und die Druck-ISBNs lauten 9783030324407, 3030324400. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.