دانلود کتاب 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 |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Anne Remke, Mariëlle Stoelinga (eds.) |
| ISBN | 9783662454886, 9783662454893 |
| سال نشر | 2014 |
| زبان | English |
| تعداد صفحات | 290 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 7 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد