دانلود کتاب Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
کتاب استدلال خودکار برای تجزیه و تحلیل پروتکل امنیتی و مسائل در تئوری امنیت: کارگاه مشترک، ARSPA-WITS 2010، پافوس، قبرس، 27-28 مارس 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب استدلال خودکار برای تجزیه و تحلیل پروتکل امنیتی و مسائل در تئوری امنیت: کارگاه مشترک، ARSPA-WITS 2010، پافوس، قبرس، 27-28 مارس 2010. مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
نام کتاب : Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : استدلال خودکار برای تجزیه و تحلیل پروتکل امنیتی و مسائل در تئوری امنیت: کارگاه مشترک، ARSPA-WITS 2010، پافوس، قبرس، 27-28 مارس 2010. مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6186 : Security and Cryptology
نویسندگان : Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 193
ISBN (شابک) : 9783642160738 , 3642160735
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی