Modeling and Analyzing Security Protocols with Tamarin
Autor David Basin et al.
28 iul 2025
Hardback
Preț: 417.07 lei
6-8 săpt.
Cărți de David Basin
Rippling: Meta-Level Guidance for Mathematical Reasoning
Autor Alan Bundy et al.
29 iun 2005
Hardback
Preț: 746.09 lei 932.61 lei
6-8 săpt.
-20%
Labelled Deduction
Editat de David Basin et al.
30 apr 2000
Hardback
Preț: 624.20 lei 734.35 lei
6-8 săpt.
-15%
Applied Information Security
Autor David Basin et al.
29 noi 2013
Paperback
Preț: 242.37 lei 302.96 lei
Indisponibil temporar
-20%
The Complete Guide to SCION: From Design Principles to Formal Verification
Autor Laurent Chuat et al.
18 mai 2023
Paperback
Preț: 583.89 lei 729.87 lei
6-8 săpt.
-20%