دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods Applied to Industrial Complex Systems
دانلود کتاب روش های رسمی به کار رفته در سیستم های مجتمع صنعتی
مشخصات کتاب
Formal Methods Applied to Industrial Complex Systems
ویرایش: 1
نویسندگان: Jean-Louis Boulanger
سری: Iste
ISBN (شابک) : 1848216327, 9781848216327
ناشر: Wiley-ISTE
سال نشر: 2014
تعداد صفحات: 478
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Formal Methods Applied to Industrial Complex Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی به کار رفته در سیستم های مجتمع صنعتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی به کار رفته در سیستم های مجتمع صنعتی
ارائه نمونه‌های واقعی کاربردهای صنعتی برای روش‌های رسمی مانند
SCADE، B-Method، ControlBuild، Matelo و غیره در زمینه‌های مختلف
مانند راه‌آهن، هوانوردی و صنعت خودروسازی، هدف این کتاب ارائه
خلاصه ای از تجربه استفاده از این "روش های رسمی" (مانند اثبات و
بررسی مدل) در نمونه های صنعتی سیستم های پیچیده.
این بر اساس تجربه افرادی است که در حال حاضر در ایجاد و ارزیابی
نقش دارند. نرم افزار سیستم حیاتی ایمنی مشارکت افراد از داخل
صنعت به ما امکان می دهد از مشکلات معمول محرمانگی که ممکن است
ایجاد شود اجتناب کنیم و بنابراین ما را قادر می سازد اطلاعات
مفید جدیدی را ارائه کنیم (عکس ها، نقشه های معماری، نمونه های
واقعی و غیره).
توضیحاتی درمورد کتاب به خارجی
A presentation of real examples of industrial uses for formal
methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.
in various fields, such as railways, aeronautics, and the
automotive industry, the purpose of this book is to present a
summary of experience on the use of these “formal methods”
(such as proof and model-checking) in industrial examples of
complex systems.
It is based on the experience of people who are currently
involved in the creation and evaluation of safety critical
system software. The involvement of people from within the
industry allows us to avoid the usual problems of
confidentiality which could arise and thus enables us to supply
new useful information (photos, architecture plans, real
examples, etc.).
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Sophocles and the Tragedy of Athenian Democracy (Contributions in Drama and Theatre Studies: Lives of the Theatre)
دانلود کتاب MathScape: Seeing and Thinking Mathematically, Course 2, The Language of Algebra, Student Guide (Mathscape: Seeing and Thinking Mathematically)
دانلود کتاب Gender and the Boundaries of Dress in Contemporary Peru (Louann Atkins Temple Women & Culture Series, Bk. 6)
دانلود کتاب The Princess and the Peabodys
