خرید و دانلود نسخه کامل کتاب Formal Methods for Open Object-based Distributed Systems

روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز

Formal Methods for Open Object-based Distributed Systems

نویسنده: Elie Najm, Jean-Bernard Stefani (eds.)

ناشر: Springer US

سال انتشار: 1997

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

زبان: English

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

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