تست و اثبات: هفتمین کنفرانس بین المللی، TAP 2013، بوداپست، مجارستان، 16-20 ژوئن 2013. پرونده
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
نویسنده: Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2013
تعداد صفحات: 242
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت