دانلود کتاب Validation of Stochastic Systems: A Guide to Current Research
اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی
زبان : English
نویسندگان : 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
ISBN (شابک) : 3540222650, 9783540222651, 9783540246114
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2925
تعداد صفحات : 470[472]
حجم : 5 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان