خرید و دانلود نسخه کامل کتاب Modeling in Event-B : system and software engineering

مدلسازی در Event-B: مهندسی سیستم و نرم افزار

Modeling in Event-B : system and software engineering

نویسنده: Jean-Raymond Abrial

ناشر: Cambridge University Press

سال انتشار: 2010

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

زبان: English

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

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