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

دانلود کتاب Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

48000 تومان موجود

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

دانلود کتاب مدل های رسمی توسعه نرم افزار: بررسی مدل، تأیید، تجزیه و تحلیل و شبیه سازی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 5


توضیحاتی در مورد کتاب Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

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



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.






پست ها تصادفی