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ț: 317.82 lei 397.28 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ț: 944.67 lei 1180.84 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ț: 327.69 lei 409.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ț: 320.69 lei 400.87 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ț: 323.38 lei 404.23 lei
6-8 săpt.
-20%