Operational Semantics and Verification of Security Protocols
فرمت کتاب
computer file
زبان
english
تاریخ انتشار
2012
نویسنده
Cas Cremers; Sjouke Mauwشابک
978-3-540-78635-1
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
978-3-540-78635-1
دیدگاه کاربران