آزمون ها و اثبات ها: ششمین کنفرانس بین المللی ، TAP 2012 ، پراگ ، جمهوری چک ، 31 مه - 1 ژوئن 2012. مجموعه مقالات
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
نویسنده: Andreas Kuehlmann (auth.), Achim D. Brucker, Jacques Julliand (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2012
تعداد صفحات: 187
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت