دانلود کتاب مدل های رسمی توسعه نرم افزار: بررسی مدل، تأیید، تجزیه و تحلیل و شبیه سازی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
ویرایش : 1
عنوان ترجمه شده به فارسی : مدل های رسمی توسعه نرم افزار: بررسی مدل، تأیید، تجزیه و تحلیل و شبیه سازی
سری :
نویسندگان : Stephan Kleuker (auth.)
ناشر : Vieweg+Teubner Verlag
سال نشر : 2009
تعداد صفحات : 307
ISBN (شابک) : 9783834806697 , 9783834895950
زبان کتاب : German
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.