خرید کتاب سیستم های درست اثبات شده:

[ad_1]

از آنجا که رایانه ها به طور فزاینده ای سیستم ها و خدماتی را که در زندگی روزمره به آنها وابسته هستیم مانند حمل و نقل ، ارتباطات و رسانه ها کنترل می کنند ، اطمینان از عملکرد صحیح این سیستم ها از اهمیت فوق العاده ای برخوردار است. این کتاب شامل دوازده فصل و یک گزارش تاریخی است که به مناسبت بیست و پنجمین سالگرد پروژه تحقیقات بنیادی ESPRIT با تأیید تصحیح سیستم (ProCoS) در سمیناری در لندن در سال 2015 ارائه شد. پروژه های ProCoS I و II خودکار روشهای تأیید را پیشگام و تسریع کردند ، در نتیجه طیف گسترده ای از برنامه ها را در بسیاری از صنایع و صنایع مانند هوا فضا ، الکترونیک ، ارتباطات و خرده فروشی انجام می دهند. مباحث تحت پوشش عبارتند از: گزارش تاریخی ProCoS سیستم های ترکیبی رابط صحت الگوریتم موازی و صحافی خودکار صحافی اعتبار سنجی اعتبار سنجی روش های رسمی و نیمه رسمی به طور حتم سیستم های صحیح ، مروری جامع بر ابتکار ProCoS ، گذشته و حال را به محققان ، طراحان و مهندسان ارائه می دهد. و تحولات و چشم اندازهای فعلی را در این زمینه بررسی می کند.

[ad_2]

read more