خرید و دانلود نسخه کامل کتاب Data Refinement: Model-Oriented Proof Methods and their Comparison

پالایش داده ها: روش های اثبات مدل گرا و مقایسه آنها

Data Refinement: Model-Oriented Proof Methods and their Comparison

نویسنده: Willem-Paul de Roever, Kai Engelhardt

ناشر: Cambridge University Press

سال انتشار: 2008

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

زبان: English

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

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