مشخصات و تایید سیستم های چندگانه
Specification and Verification of Multi-agent Systems
نویسنده: N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)
ناشر: Springer US
سال انتشار: 2010
تعداد صفحات: 416
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت