اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی
Validation of Stochastic Systems: A Guide to Current Research
نویسنده: Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2004
تعداد صفحات: 470 [472]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت