دسترسی همگانی(OPAC) نام کتابخانه در اوپک

Formal Correctness of Security Protocols (2007) / Bella ، Giampaolo، نویسنده
نوع مدرک:برنامه‌ها و فایلهای کامپیوتری
سرشناسهBella ، Giampaolo، نویسنده
عنوان :Formal Correctness of Security Protocols
تکرار نام مولف :Giampaolo Bella
ناشر:Berlin ; New York : Springer-Verlag
سال نشر :2007
صفحه شمار:274p
لینک ثابت رکورد:../opac/index.php?lvl=record_display&id=14380
زبان مدرک :English
شماره ثبتشماره بازیابینام عام موادمحل نگهداریوضعیت ثبتوضعیت امانت
فاقد شماره ثبت

تعداد نظرات کاربران :0 . برای افزودن نظر خود کلیک نمایید.

کاربران آنلاین :0