مشخصات کتاب

Industrial use of formal methods: formal verification

ویرایش:  
نویسندگان: Boulanger J.-L. (ed.)  
سری:  
ISBN (شابک) : 9781848213630 
ناشر: Wiley 
سال نشر: 2012 
تعداد صفحات: 306 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

در صورت تبدیل فایل کتاب 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 AspectJ: Aspect-Oriented Programming in Java

دانلود کتاب Be a travel writer, live your dreams, sell your features : travel writing step by step

دانلود کتاب Traveling Through Time: How Trauma Plays Itself Out in Families, Organizations and Society

دانلود کتاب Pattern Classification And Learning Theory

دانلود کتاب Sentirsi bene