ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Static Analysis of Software: The Abstract Interpretation

دانلود کتاب تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی

Static Analysis of Software: The Abstract Interpretation

مشخصات کتاب

Static Analysis of Software: The Abstract Interpretation

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 9781848213203 
ناشر: Wiley 
سال نشر: 2011 
تعداد صفحات: 340 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 19 مگابایت

قیمت کتاب (تومان) : 42,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Static Analysis of Software: The Abstract Interpretation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی

ادبیات موجود در حال حاضر در دسترس دانشجویان و محققان بسیار کلی است و تنها تکنیک های رسمی تحلیل استاتیک را پوشش می دهد. این کتاب نمونه‌های واقعی از تکنیک‌های رسمی به نام «تفسیر انتزاعی» را ارائه می‌کند که در حال حاضر در زمینه‌های مختلف صنعتی از جمله راه‌آهن، هوانوردی، فضا، خودروسازی و غیره استفاده می‌شود. هدف این کتاب ارائه دانش‌آموزان و محققان در یک کتاب واحد است. انبوهی از تجربیات افرادی که ذاتاً در تحقق و ارزیابی سیستم های حیاتی ایمنی مبتنی بر نرم افزار دخیل هستند.


توضیحاتی درمورد کتاب به خارجی

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.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی