آزمون ها و اثبات ها: سومین کنفرانس بین المللی ، TAP 2009 ، زوریخ ، سوئیس ، 2-3 ژوئیه 2009. مجموعه مقالات
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
نویسنده: Boutheina Chetali (auth.), Catherine Dubois (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2009
تعداد صفحات: 178
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت