Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tests and Proofs : 9783319212159, 331921215X および 印刷版のISBNは 9783319212142, 3319212141. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tests and Proofs : 9783319212159, 331921215X および 印刷版のISBNは 9783319212142, 3319212141. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
