توضیحات
Provides The Reader With A Tutorial On Some Modern Techniques To Model And Automatically Analyze Security Protocols. The Tutorial Can Be Used As A Basis For A Master Or Graduate Course On The Topic, Or As A Primer For Researchers From Different Areas To Get An Overview Of The Kinds Of Techniques That Are Available.
جزئیات کتاب
فرمت
جلد نرم
صفحات
134 صفحه
زبان
انگلیسی
منتشر شده
نوامبر 14, 2014
ناشر
Now Publishers Inc
نسخه
Reprint
نسخهها
2 نسخه
ISBN-10
1601989024
ISBN-13
9781601989024