📥 ترافیک اینترنت مصرفی جهت دانلود فایل‌ها در الی فایل، به‌صورت نیم‌بها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
04ساعت
50دقیقه
33ثانیه

خرید و دانلود نسخه کامل کتاب Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

قیمت اصلی 133,000 تومان بود.قیمت فعلی 58,000 تومان است.

تعداد فروش: 62




عنوان فارسی

روش های رسمی برای سیستم های توزیع شده مبتنی بر شیء باز: هفتمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2005 ، آتن ، یونان ، 15 تا 17 ژوئن ، 2005. مجموعه مقالات

عنوان اصلی Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
ویرایش 1
ناشر Springer-Verlag Berlin Heidelberg
نویسنده Rocco De Nicola, Daniele Gorla, Rosario Pugliese (auth.), Martin Steffen, Gianluigi Zavattaro (eds.)
ISBN 3540261818, 9783540261810
سال نشر 2005
زبان English
تعداد صفحات 332
دسته کنفرانس ها و همایش های بین المللی
فرمت کتاب pdf – قابل تبدیل به سایر فرمت ها
حجم فایل 4 مگابایت
1 آیتم فروخته شده در 55 دقیقه
3 نفر در حال مشاهده این محصول هستند!
توضیحات

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.

توضیحاتی در مورد کتاب



این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی IFIP WG 6.1 در مورد روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز، FMOODS 2005، در آتن، یونان در 15-17 ژوئن 2005 است. کنفرانس FMOODS به عنوان یک رویداد مشترک در فدراسیون با پنجمین کنفرانس بین المللی IFIP WG 6.1 در مورد برنامه های کاربردی توزیع شده و سیستم های متقابل (DAIS 2005).

19 مقاله کامل اصلاح شده ارائه شده همراه با مقاله دعوت شده به دقت بررسی و از بین 91 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد مدل ها و محاسبات، UML، امنیت، ترکیب و تأیید، تجزیه و تحلیل برنامه های جاوا، خدمات وب، مشخصات و تأیید سازماندهی شده اند.

نظرات (0)

نقد و بررسی‌ها

هنوز بررسی‌ای ثبت نشده است.

اولین کسی باشید که دیدگاهی می نویسد “خرید و دانلود نسخه کامل کتاب Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *