خرید و دانلود نسخه کامل کتاب Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Lecture Notes in Computer Science, 2067)

مدل‌سازی و تأیید فرآیندهای موازی: چهارمین مدرسه تابستانی، MOVEP 2000، نانت، فرانسه، 19-23 ژوئن، 2000. سخنرانی‌های آموزشی اصلاح‌شده (یادداشت‌های سخنرانی در علوم رایانه، 2067)

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Lecture Notes in Computer Science, 2067)

نویسنده: Franck Cassez (editor), Claude Jard (editor), Brigitte Rozoy (editor), Mark D. Ryan (editor)

ناشر: Springer

سال انتشار: 2001

تعداد صفحات: 228

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

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