movep

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

دانلود کتاب Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures (به فارسی: مدل‌سازی و تأیید فرآیندهای موازی: چهارمین مدرسه تابستانی، MOVEP 2000 نانت، فرانسه، 19 تا 23 ژوئن، 2000 سخنرانی‌های آموزشی اصلاح‌شده) نوشته شده توسط «Stephan Merz (auth.) – Franck Cassez – Claude Jard – Brigitte Rozoy – Mark Dermot Ryan (eds.)» اطلاعات کتاب مدل‌سازی و تأیید فرآیندهای موازی: چهارمین مدرسه تابستانی، MOVEP 2000 نانت، فرانسه، 19 تا 23 ژوئن، 2000 سخنرانی‌های آموزشی اصلاح‌شده موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Stephan Merz (auth.) –…