آزمایشات و اثبات: پنجمین کنفرانس بین المللی ، TAP 2011 ، زوریخ ، سوئیس ، 30 ژوئن - 1 ژوئیه 2011. مجموعه مقالات
Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
نویسنده: Marie-Claude Gaudel (auth.), Martin Gogolla, Burkhart Wolff (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2011
تعداد صفحات: 215
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت