خرید و دانلود نسخه کامل کتاب Using Event-B for Critical Device Software Systems

استفاده از Event-B برای سیستم های نرم افزاری دستگاه حیاتی

Using Event-B for Critical Device Software Systems

نویسنده: Neeraj Kumar Singh (auth.)

ناشر: Springer-Verlag London

سال انتشار: 2013

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

زبان: English

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

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