دانلود کتاب Formal Logical Methods for System Security and Correctness
49,000 تومان
روشهای منطقی رسمی برای امنیت و صحت سیستم
| موضوع اصلی | سیستم های اطلاعاتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | IOS Press |
| تعداد صفحه | 332 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 1586038435,9781586038434,9781435677883 |
| نویسنده | Christian Pfaller, Orna Grumberg, Tobias Nipkow |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روشهای منطقی رسمی برای امنیت و صحت سیستم
هدف این نشریه ارائه آخرین فن آوری در زمینه فناوری اثبات در ارتباط با نرم افزارهای امن و صحیح می باشد. مشارکتکنندگان نشان دادهاند که روشهای برنامهریزی درست بهوسیله و سنتز فرآیند، به یک روش برنامهنویسی سطح بالا اجازه میدهد که با تجزیه و تحلیل و تضمین امنیت و قابلیت اطمینان بیشتر سازگار باشد. با ارائه پیشینه نظری لازم و ارائه مفاهیم کاربردی گرا، هدف ارائه عمیق چنین روش هایی است که هم مبانی نظری و هم عملکرد صنعتی را پوشش می دهد.
IOS Press یک ناشر بین المللی علمی، فنی و پزشکی با کیفیت بالا است. کتاب هایی برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها.
برخی از حوزه هایی که ما در این زمینه منتشر می کنیم:
-زیست پزشکی – سرطان شناسی – هوش مصنوعی – پایگاه های داده و سیستم های اطلاعاتی – مهندسی دریایی – فناوری نانو – مهندسی زمین – همه جنبه های فیزیک – حکومت الکترونیکی – تجارت الکترونیک – اقتصاد دانش -مطالعات شهری -کنترل تسلیحات -درک و پاسخ به تروریسم -انفورماتیک پزشکی -علوم کامپیوتر
The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees. By providing the necessary theoretical background and presenting corresponding application oriented concepts, the objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.
IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.
Some of the areas we publish in:
-Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.