خرید و دانلود نسخه کامل کتاب Formal Methods for Industrial Critical Systems: A Survey of Applications

روشهای رسمی برای سیستمهای انتقادی صنعتی: بررسی کاربردها

Formal Methods for Industrial Critical Systems: A Survey of Applications

نویسنده: Gnesi, Stefania (editor);Margaria, Tiziana (editor)

ناشر: Wiley-IEEE Computer Society Press

سال انتشار: 2013

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

زبان: English

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

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