دانلود کتاب Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings
| عنوان فارسی | تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده-- FORTE 2007: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1، تالین، استونی، 27-29 ژوئن 2007: مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer |
| نویسنده | John Derrick, Jüri Vain |
| ISBN | 9783540731955, 3540731954 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 385 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد