
Formal Models and Techniques for Analyzing Security Protocols
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2011
نویسنده
Vaeronique Cortierناشر
IOS Pressشابک
9781607507147
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
9781607507147
دیدگاه کاربران