دانلود کتاب Abstraction, Refinement and Proof for Probabilistic Systems (به فارسی: انتزاع، پالایش و اثبات برای سیستم های احتمالی) نوشته شده توسط «Annabelle McIver – Charles Carroll Morgan»
اطلاعات کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی
موضوع اصلی: ژنتیک
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Annabelle McIver – Charles Carroll Morgan
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 393
حجم کتاب: 3 مگابایت
کد کتاب: 9780387401157 , 0-387-40115-6
نوبت چاپ: 1
توضیحات کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی
انتزاع، اصلاح و اثبات برای سیستمهای احتمالی رویکردی دقیق برای مدلسازی و استدلال در مورد سیستمهای رایانهای که احتمال را در خود جای میدهند، ارائه میکند. پایههای آن در منطق برنامههای ترتیبی بولی سنتی نهفته است – اما بسط آن به قضاوتهای عددی و نه صرفاً درست یا غلط، آن را بسیار فراتر میبرد و به حوزههایی مانند الگوریتمهای تصادفی، تحمل خطا و در سیستمهای توزیعشده، شکست تقارن تقریباً معین میبرد. .
دانلود کتاب «انتزاع، پالایش و اثبات برای سیستم های احتمالی»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.