دانلود کتاب Software Reliability Methods
کتاب روش های قابلیت اطمینان نرم افزار نسخه زبان اصلی
دانلود کتاب روش های قابلیت اطمینان نرم افزار بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Software Reliability Methods
نام کتاب : Software Reliability Methods
عنوان ترجمه شده به فارسی : روش های قابلیت اطمینان نرم افزار
سری : Texts in Computer Science
نویسندگان : Doron A. Peled
ناشر : Springer
سال نشر : 2001
تعداد صفحات : 354
ISBN (شابک) : 0387951067 , 9780387951065
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب روش‌های فعلی برای مقابله با قابلیت اطمینان نرم‌افزار را ارائه می‌کند و مزایا و معایب هر روش را نشان می‌دهد. شرح تکنیک ها برای مخاطبان غیر متخصص با حداقل پیشینه فنی در نظر گرفته شده است. همچنین برخی از تکنیک های پیشرفته را توصیف می کند که هدف آنها محققین و متخصصان مهندسی نرم افزار است. این مرجع به عنوان مقدمه ای بر روش ها و تکنیک های رسمی عمل می کند و منبعی برای یادگیری روش های مختلف برای افزایش قابلیت اطمینان نرم افزار خواهد بود. پروژه ها و تمرین های مختلف به خوانندگان تجربه عملی با روش ها و ابزارهای رسمی مختلف می دهد.
توضیحاتی در مورد کتاب به زبان اصلی :
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.