خرید و دانلود نسخه کامل کتاب Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

بررسی مدل تصادفی. تجزیه و تحلیل دقیق اعتماد به نفس با استفاده از تکنیک های بررسی مدل برای سیستم های تصادفی: مدرسه بین المللی پاییز ، ROCKS 2012 ، Vahrn ، ایتالیا ، 22 تا 26 اکتبر ، 2012 ، سخنرانی های پیشرفته

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

نویسنده: Anne Remke, Mariëlle Stoelinga (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2014

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

زبان: English

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

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