خرید و دانلود نسخه کامل کتاب Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science, 4454)

آزمون ها و اثبات ها: اولین کنفرانس بین المللی، TAP 2007 زوریخ، سوئیس، 12-13 فوریه، 2007 مقالات تجدید نظر شده (یادداشت های سخنرانی در علوم کامپیوتر، 4454)

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science, 4454)

نویسنده: Bertrand Meyer (editor), Yuri Gurevich (editor)

ناشر: Springer

سال انتشار: 2007

تعداد صفحات: 226

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 7 مگابایت