خرید و دانلود نسخه کامل کتاب Formal Methods: Industrial Use from Model to the Code

روش‌های رسمی: استفاده صنعتی از مدل تا کد

Formal Methods: Industrial Use from Model to the Code

نویسنده: Jean-Louis Boulanger (ed.)

ناشر: Wiley-ISTE

سال انتشار: 2012

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

زبان: English

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

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