Formal Models and Techniques for Analyzing Security Protocols: A Tutorial Foundations and Trends(r) in Programming Languages, nr. 2 Autor Veronique Cortier et al. 13 noi 2014 Paperback Preț: 448.94 lei 561.17 lei 43-57 zile -20%
