Formal Aspects in Security and Trust Editat de Pierpaolo Degano et al. 9 apr 2009 Paperback Preț: 324.41 lei 405.51 lei 43-57 zile -20%
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings Lecture Notes in Computer Science, nr. 7215 Editat de Pierpaolo Degano et al. 14 mar 2012 Paperback Preț: 327.54 lei 409.42 lei 43-57 zile -20%
Formal Aspects in Security and Trust Editat de Pierpaolo Degano et al. 20 apr 2010 Paperback Preț: 321.94 lei 402.43 lei 43-57 zile -20%
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 Editat de Joshua D. Guttman et al. 20 noi 2012 Paperback Preț: 943.76 lei 1179.70 lei 43-57 zile -20%
Foundations of Security, Protocols, and Equational Reasoning Lecture Notes in Computer Science, nr. 11565 Editat de Joshua D. Guttman et al. 28 apr 2019 Paperback Preț: 319.70 lei 399.63 lei 43-57 zile -20%