Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
Editat de Joshua D. Guttman et al.
28 apr 2019
Paperback
Preț: 330.24 lei 412.80 lei
6-8 săpt.
-20%
Cărți de Joshua D. Guttman
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ț: 981.89 lei 1227.36 lei
6-8 săpt.
-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
Editat de Pierpaolo Degano et al.
14 mar 2012
Paperback
Preț: 340.49 lei 425.62 lei
6-8 săpt.
-20%
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Editat de Pierpaolo Degano et al.
20 apr 2010
Paperback
Preț: 333.22 lei 416.52 lei
6-8 săpt.
-20%
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Editat de Pierpaolo Degano et al.
9 apr 2009
Paperback
Preț: 336.02 lei 420.02 lei
6-8 săpt.
-20%