خرید و دانلود نسخه کامل کتاب Refinement Calculus: A Systematic Introduction

حساب پالایشی: مقدمه ای سیستماتیک

Refinement Calculus: A Systematic Introduction

نویسنده: Ralph-Johan Back, Joakim von Wright

ناشر: Springer

سال انتشار: 1998

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

زبان: English

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

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