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

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

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 - قابل تبدیل به سایر فرمت ها

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