Specification and Verification of Multi-agent Systems

خرید و دانلود نسخه کامل کتاب Specification and Verification of Multi-agent Systems

مشخصات و تأیید سیستمهای چند عامل

Specification and Verification of Multi-agent Systems

نویسنده: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer

ناشر: Springer

سال انتشار: 2010

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

زبان: English

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

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

107,000 تومان 73,000 تومان