دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
دانلود کتاب تجزیه و تحلیل رسمی با تفسیر انتزاعی: مطالعات موردی در پروتکل های مدرن
مشخصات کتاب
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
ویرایش: [1st ed. 2022]
نویسندگان: Benjamin Aziz
سری: SpringerBriefs in Applied Sciences and Technology
ISBN (شابک) : 3030911527, 9783030911522
ناشر: Springer
سال نشر: 2021
تعداد صفحات: 128
[121]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 Mb
قیمت کتاب (تومان) : 43,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل رسمی با تفسیر انتزاعی: مطالعات موردی در پروتکل های مدرن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Virial Theorem in Stellar Astrophysics
دانلود کتاب Statistics for the Utterly Confused
دانلود کتاب Freedom’s Pioneer: John McGrath’s Work in Theatre, Film and Television
دانلود کتاب Mela marcia. La mutazione genetica di Apple
