Labelled Deduction
Editat de David Basin et al.
8 oct 2012
Paperback
Preț: 615.05 lei 723.59 lei
43-57 zile
-15%
Cărți de Luca Viganò
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Editat de Pierpaolo Degano et al.
3 sep 2009
Paperback
Preț: 371.20 lei
43-57 zile
Labelled Non-Classical Logics
Autor Luca Viganò
3 dec 2010
Paperback
Preț: 908.45 lei 1107.86 lei
43-57 zile
-18%
Socio-Technical Aspects in Security: 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
Editat de Simon Parkin et al.
14 iul 2022
Paperback
Preț: 423.88 lei 529.85 lei
22-36 zile | 5-11 zile
-20%
Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editat de Frank Piessens et al.
22 mar 2016
Paperback
Preț: 319.42 lei 399.28 lei
43-57 zile
-20%
Socio-Technical Aspects in Security and Trust: 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
Editat de Thomas Groß et al.
22 iun 2021
Paperback
Preț: 370.80 lei 463.49 lei
43-57 zile
-20%