Cărți de Steve Kremer

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

Preț: 459^.01 lei 573^.76 lei

6-8 săpt.

-20%

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8414

Editat de Martín Abadi et al.

11 mar 2014

Preț: 328^.29 lei 410^.36 lei

6-8 săpt.

-20%