در حساب پالایش
On the refinement calculus
نویسنده: Morgan C., Vickers T (ed.)
ناشر: Springer
سال انتشار: 1992
تعداد صفحات: 169
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت
توضیحی برای این کتاب ثبت نشده است.