مشخصات و تأیید سیستمهای چند عامل
Specification and Verification of Multi-agent Systems
نویسنده: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer
ناشر: Springer
سال انتشار: 2010
تعداد صفحات: 416
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت