دانلود کتاب Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers
کتاب تجزیه و تحلیل و تأیید زبان های چند نماینده: پنجمین کارگاه LOMAPS استکهلم، سوئد، 24 تا 26 ژوئن 1996 مقالات منتخب نسخه زبان اصلی
دانلود کتاب تجزیه و تحلیل و تأیید زبان های چند نماینده: پنجمین کارگاه LOMAPS استکهلم، سوئد، 24 تا 26 ژوئن 1996 مقالات منتخب بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers
نام کتاب : Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : تجزیه و تحلیل و تأیید زبان های چند نماینده: پنجمین کارگاه LOMAPS استکهلم، سوئد، 24 تا 26 ژوئن 1996 مقالات منتخب
سری : Lecture Notes in Computer Science 1192
نویسندگان : F. Nielson, P. Cousot, M. Dam, P. Degano (auth.), Mads Dam (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1997
تعداد صفحات : 444
[442]
ISBN (شابک) : 3540625038 , 9783540625032
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 4 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی