Labelled Deduction
Editat de David Basin et al.
8 oct 2012
Paperback
Preț: 615.05 lei 723.59 lei
6-8 săpt.
-15%
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%
Applied Information Security: A Hands-on Approach
Autor David Basin et al.
29 noi 2013
Paperback
Preț: 294.15 lei 367.69 lei
38-44 zile
-20%
Theorem Proving in Higher Order Logics
Editat de David Basin et al.
21 aug 2003
Paperback
Preț: 380.09 lei
6-8 săpt.
Automated Reasoning
Editat de David Basin et al.
22 iun 2004
Paperback
Preț: 632.79 lei 790.99 lei
6-8 săpt.
-20%
Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Editat de David Basin et al.
20 feb 2013
Paperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-20%
Modeling and Analyzing Security Protocols with Tamarin
Autor David Basin et al.
28 iul 2025
Hardback
Preț: 379.32 lei 474.15 lei
38-44 zile
-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%