دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Reliability Methods
دانلود کتاب روش های قابلیت اطمینان نرم افزار
مشخصات کتاب
Software Reliability Methods
ویرایش:
نویسندگان: Doron A. Peled
سری: Texts in Computer Science
ISBN (شابک) : 0387951067, 9780387951065
ناشر: Springer
سال نشر: 2001
تعداد صفحات: 354
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Software Reliability Methods به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های قابلیت اطمینان نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های قابلیت اطمینان نرم افزار
این کتاب روش‌های فعلی برای مقابله با قابلیت اطمینان نرم‌افزار را ارائه می‌کند و مزایا و معایب هر روش را نشان می‌دهد. شرح تکنیک ها برای مخاطبان غیر متخصص با حداقل پیشینه فنی در نظر گرفته شده است. همچنین برخی از تکنیک های پیشرفته را توصیف می کند که هدف آنها محققین و متخصصان مهندسی نرم افزار است. این مرجع به عنوان مقدمه ای بر روش ها و تکنیک های رسمی عمل می کند و منبعی برای یادگیری روش های مختلف برای افزایش قابلیت اطمینان نرم افزار خواهد بود. پروژه ها و تمرین های مختلف به خوانندگان تجربه عملی با روش ها و ابزارهای رسمی مختلف می دهد.
توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Emission scenario document on pulp, paper and board industry.
دانلود کتاب The Place of Enchantment: British Occultism and the Culture of the Modern
دانلود کتاب Intimacy in America: Dreams of Affiliation in Antebellum Literature
