Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings 1st 版 著者: Wolfgang Ahrendt; Heike Wehrheim 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tests and Proofs : 9783030509958, 3030509958 および 印刷版のISBNは 9783030509941, 303050994X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings 1st 版 著者: Wolfgang Ahrendt; Heike Wehrheim 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tests and Proofs : 9783030509958, 3030509958 および 印刷版のISBNは 9783030509941, 303050994X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
