![Operational Semantics and Verification of Security Protocols](https://dl.bookem.ir/covers/ISBN13/978-3-540-78635-1.jpg)
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
دیدگاه کاربران