خرید و دانلود نسخه کامل کتاب 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

نویسنده: K.R. Parker and G.A. Rose (Eds.)

ناشر: North Holland

سال انتشار: 1992

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

زبان: English

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

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