Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

خرید و دانلود نسخه کامل کتاب Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

جبر فرآیندی و روش‌های احتمالی: مدل‌سازی و تأیید عملکرد: دومین کارگاه بین‌المللی مشترک 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 مگابایت

95,000 تومان 60,000 تومان