دانلود کتاب Abstraction, Refinement and Proof for Probabilistic Systems

49,000 تومان
انتزاع، پالایش و اثبات برای سیستم های احتمالی
موضوع اصلی احتمال
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 395
حجم فایل 2 مگابایت
کد کتاب 0387401156