Specification and Verification of Multi-agent Systems

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

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

118,000 تومان 79,000 تومان