دانلود کتاب Abstraction, refinement and proof for probabilistic systems
دسته: منطق
کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی نسخه زبان اصلی
دانلود کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Abstraction, refinement and proof for probabilistic systems
نام کتاب : Abstraction, refinement and proof for probabilistic systems
عنوان ترجمه شده به فارسی : انتزاع، پالایش و اثبات برای سیستم های احتمالی
سری : Monographs in computer science
نویسندگان : McIver. Annabelle, Morgan. Charles C
ناشر : Springer New York
سال نشر : 2005
تعداد صفحات : 404
ISBN (شابک) : 9780387401157 , 1441923128
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی