خرید و دانلود نسخه کامل کتاب Abstraction, Refinement and Proof for Probabilistic Systems

انتزاع، پالایش و اثبات برای سیستم های احتمالی

Abstraction, Refinement and Proof for Probabilistic Systems

نویسنده: Annabelle McIver, Charles Carroll Morgan

ناشر: Springer

سال انتشار: 2004

تعداد صفحات: 404

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت