جبر فرآیندی و روشهای احتمالی: مدلسازی و تأیید عملکرد: دومین کارگاه بینالمللی مشترک PAPM-PROBMIV 2002 کپنهاگ، دانمارک، 25-26 ژوئیه، 2002 مجموعه مقالات
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings
نویسنده: André Schiper (auth.), Holger Hermanns, Roberto Segala (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2002
تعداد صفحات: 224
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت