Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tests and Proofs : 9783319929941, 3319929941 および 印刷版のISBNは 9783319929934, 3319929933. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tests and Proofs : 9783319929941, 3319929941 および 印刷版のISBNは 9783319929934, 3319929933. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
