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ț: 324.71 lei 405.89 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ț: 965.33 lei 1206.66 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ț: 334.79 lei 418.49 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ț: 327.63 lei 409.54 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ț: 330.39 lei 413.00 lei
6-8 săpt.
-20%