خرید و دانلود نسخه کامل کتاب Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

مدل های رسمی توسعه نرم افزار: بررسی مدل ، صحت سنجی ، تجزیه و تحلیل و شبیه سازی مدل

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

نویسنده: Stephan Kleuker (auth.)

ناشر: Vieweg+Teubner Verlag

سال انتشار: 2009

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

زبان: German

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

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