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

49,000 تومان
انتزاع، پالایش و اثبات برای سیستم های احتمالی
موضوع اصلی ژنتیک
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 393
حجم فایل 3 مگابایت
کد کتاب 9780387401157,0387401156
نوبت چاپ 1