دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Industrial use of formal methods: formal verification
دانلود کتاب استفاده صنعتی از روش های رسمی: تأیید رسمی
مشخصات کتاب
Industrial use of formal methods: formal verification
ویرایش:
نویسندگان: Boulanger J.-L. (ed.)
سری:
ISBN (شابک) : 9781848213630
ناشر: Wiley
سال نشر: 2012
تعداد صفحات: 306
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Industrial use of formal methods: formal verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده صنعتی از روش های رسمی: تأیید رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استفاده صنعتی از روش های رسمی: تأیید رسمی
در حال حاضر ادبیات به دانشجویان و محققین کتاب های بسیار کلی در زمینه تکنیک های رسمی می دهد. هدف این کتاب ارائه در یک کتاب واحد، بازگشت تجربه در مورد استفاده از "تکنیک های رسمی" (مانند اثبات و بررسی مدل) در نمونه های صنعتی برای حوزه حمل و نقل است. این کتاب بر اساس تجربیات افرادی است که به طور کامل درگیر تحقق و ارزیابی نرم افزار سیستم های حیاتی ایمنی هستند. مفهوم صنعتگران اجازه می دهد تا مشکلات محرمانگی را که می تواند ظاهر شود و بنابراین امکان ارائه اطلاعات مفید جدید (عکس ها، طرح معماری، نمونه واقعی) را فراهم می کند.
توضیحاتی درمورد کتاب به خارجی
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Mastering ROS for Robotics Programming - Second Edition: Design, build, and simulate complex robots using the Robot Operating System
دانلود کتاب Virtual Reality Specialist
دانلود کتاب The ABC Dark Psychology 2.0
دانلود کتاب Managing Innovation in Organisations: Fostering an Entrepreneurial Approach
