خرید و دانلود نسخه کامل کتاب Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, ... (Lecture Notes in Computer Science, 2165)

روشهای جبر فرآیند و روشهای احتمالی. مدل سازی و تأیید عملکرد: کارگاه بین المللی مشترک ، PAPM-PROBMIV 2001 ، آخن ، آلمان ، ... (یادداشت های سخنرانی در علوم کامپیوتر ، 2165)

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, ... (Lecture Notes in Computer Science, 2165)

نویسنده: Luca de Alfaro (editor), Stephen Gilmore (editor)

ناشر: Springer

سال انتشار: 2001

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

زبان: English

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

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