Yazar
Cas Cremers
2 cilt bulundu.
Cilt sonuçları
Operational Semantics and Verification of Security Protocols
Cas Cremers · Imprint: Springer
180 sayfa · 2012
Software Engineering/Programming and Operating Systems / Cryptology and Information Theory Data Structures / Software engineering / Computer Systems Organization and Communication Networks / Computer network architectures
