روش های جبری و روش های احتمالی. مدل سازی و تأیید عملکرد: کارگاه بین المللی مشترک ، PAPM-PROBMIV 2001 آخن ، آلمان ، 12 تا 14 سپتامبر مجموعه مقالات
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings
نویسنده: Markus Siegle (auth.), Luca de Alfaro, Stephen Gilmore (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2001
تعداد صفحات: 227
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت