دانلود کتاب 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
توضیحات کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی
انتزاع، اصلاح و اثبات برای سیستم‌های احتمالی رویکردی دقیق برای مدل‌سازی و استدلال در مورد سیستم‌های رایانه‌ای که احتمال را در خود جای می‌دهند، ارائه می‌کند. پایه‌های آن در منطق برنامه‌های ترتیبی بولی سنتی نهفته است – اما بسط آن به قضاوت‌های عددی و نه صرفاً درست یا غلط، آن را بسیار فراتر می‌برد و به حوزه‌هایی مانند الگوریتم‌های تصادفی، تحمل خطا و در سیستم‌های توزیع‌شده، شکست تقارن تقریباً معین می‌برد. .
دانلود کتاب «انتزاع، پالایش و اثبات برای سیستم های احتمالی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.