Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .8570
Herausgegeben von Seidl, Martina
Tillmann, Nikolai
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2014年 08月
- ISBN：9783319090986
- 装丁：PAP
-
装丁について
- 版次：2014. 2014. xii