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