دانلود کتاب Static Analysis of Software: The Abstract Interpretation
کتاب تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی نسخه زبان اصلی
دانلود کتاب تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Static Analysis of Software: The Abstract Interpretation
نام کتاب : Static Analysis of Software: The Abstract Interpretation
عنوان ترجمه شده به فارسی : تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی
سری :
نویسندگان : Jean-Louis Boulanger
ناشر : Wiley
سال نشر : 2011
تعداد صفحات : 340
ISBN (شابک) : 9781848213203
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 19 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
ادبیات موجود در حال حاضر در دسترس دانشجویان و محققان بسیار کلی است و تنها تکنیک های رسمی تحلیل استاتیک را پوشش می دهد. این کتاب نمونه‌های واقعی از تکنیک‌های رسمی به نام «تفسیر انتزاعی» را ارائه می‌کند که در حال حاضر در زمینه‌های مختلف صنعتی از جمله راه‌آهن، هوانوردی، فضا، خودروسازی و غیره استفاده می‌شود. هدف این کتاب ارائه دانش‌آموزان و محققان در یک کتاب واحد است. انبوهی از تجربیات افرادی که ذاتاً در تحقق و ارزیابی سیستم های حیاتی ایمنی مبتنی بر نرم افزار دخیل هستند.
توضیحاتی در مورد کتاب به زبان اصلی :
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems.
پست ها تصادفی