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 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods Teaching : 9783030324414, 3030324419 および 印刷版のISBNは 9783030324407, 3030324400. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

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 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods Teaching : 9783030324414, 3030324419 および 印刷版のISBNは 9783030324407, 3030324400. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。