دانلود کتاب 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) |
| ناشر | Springer |
| نویسنده | Bertrand Meyer (editor), Yuri Gurevich (editor) |
| ISBN | 2917033029, 3540737693 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 226 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 7 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد