دانلود کتاب 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

زبان : English

نویسندگان : André Schiper (auth.), Holger Hermanns, Roberto Segala (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540439137, 9783540439134

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2399

تعداد صفحات : 222[224]

حجم : 2 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان