دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings
| عنوان فارسی | تکنیکهای رسمی در سیستمهای بلادرنگ و تحملپذیر خطا: ششمین سمپوزیوم بینالمللی، FTRTFT 2000 پونا، هند، 20 تا 22 سپتامبر، 2000 مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | N. Halbwachs, J. -F. Héry, J. -C. Laleuf, X. Nicollin (auth.), Mathai Joseph (eds.) |
| ISBN | 3540410554, 9783540410553 |
| سال نشر | 2000 |
| زبان | English |
| تعداد صفحات | 314 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد