دانلود کتاب Abstraction, Refinement and Proof for Probabilistic Systems (به فارسی: انتزاع، پالایش و اثبات برای سیستم های احتمالی) نوشته شده توسط «McIver A. – Morgan C.»
اطلاعات کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی
موضوع اصلی: احتمال
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: McIver A. – Morgan C.
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 395
حجم کتاب: 3 مگابایت
کد کتاب: 0387401156
دانلود کتاب «انتزاع، پالایش و اثبات برای سیستم های احتمالی»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.