دانلود کتاب Formal Description Techniques, IV. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19–22 November 1991
| عنوان فارسی | تکنیک های توصیف رسمی، IV. مجموعه مقالات چهارمین کنفرانس بین المللی IFIP TC6/WG6.1 در تکنیک های توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطات، FORTE '91، سیدنی، استرالیا، 19-22 نوامبر 1991 |
|---|---|
| عنوان اصلی | Formal Description Techniques, IV. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19–22 November 1991 |
| ناشر | North Holland |
| نویسنده | K.R. Parker and G.A. Rose (Eds.) |
| ISBN | 9780444894021 |
| سال نشر | 1992 |
| زبان | English |
| تعداد صفحات | 580 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 26 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد