اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Bold Ventures - Volume 1: Patterns Among Innovations in Science and Mathematics Education
قیمت اصلی 175,000 تومان بود.100,000 تومانقیمت فعلی 100,000 تومان است.
خرید و دانلود نمونه دادنامه حقوقی در خصوص سفته – حکم بر محکومیت تضامنی تجدید نظرخواندگان به پرداخت خسارت ناشی از عدم ایفای تعهد به مأخذ ۳۱ درصد از زمان استفاده از سرمایه
قیمت اصلی 195,400 تومان بود.115,400 تومانقیمت فعلی 115,400 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
23ساعت
53دقیقه
40ثانیه
-44%
خرید و دانلود نسخه کامل کتاب The Austin Protocol Compiler (Advances in Information Security)
قیمت اصلی 169,000 تومان بود.94,000 تومانقیمت فعلی 94,000 تومان است.
تعداد فروش: 77
| عنوان فارسی |
کامپایلر پروتکل آستین (پیشرفت در امنیت اطلاعات) |
|---|---|
| عنوان اصلی | The Austin Protocol Compiler (Advances in Information Security) |
| ویرایش | 1 |
| ناشر | |
| نویسنده | Tommy M. McGuire, Mohamed G. Gouda, |
| ISBN | 0387232273, 9780387232287 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 156 |
| دسته | علوم (عمومی) |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
3
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
نماد TAP از دو نوع معناشناسی استفاده میکند: یک معنای انتزاعی برای تأییدکنندههای پروتکل و یک معناشناسی مشخص برای پیادهکنندههای پروتکل. کامپایلر پروتکل آستین نشان میدهد که دو نوع معنایی TAP معادل هستند. بنابراین، صحت مشخصات TAP برخی از پروتکل ها، که بر اساس معنای انتزاعی TAP ایجاد شده است، زمانی حفظ می شود که این مشخصات بر اساس معناشناسی مشخص TAP اجرا شود. معادل سازی موارد زیر را برای توسعه اجرای صحیح یک پروتکل پیشنهاد می کند: 1. پروتکل را با استفاده از نماد TAP مشخص کنید. 2. صحت مشخصات را بر اساس معنای انتزاعی TAP تأیید کنید. 3. پیاده سازی مشخصات بر اساس معناشناسی بتن TAP. برای مرحله 3، این کتاب کامپایلر پروتکل آستین (APC) را معرفی می کند که به عنوان ورودی، مشخصات TAP برخی از پروتکل ها را می گیرد، و به عنوان خروجی C-کد تولید می کند که این پروتکل را بر اساس معنای واقعی TAP پیاده سازی می کند.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.