Programs as Diagrams Autor Dusko Pavlovic 20 sep 2023 Hardback Preț: 571.38 lei 714.23 lei 6-8 săpt. -20%
Introduction to Security Science Autor Dusko Pavlovic et al. 3 ian 2026 Hardback Preț: 507.84 lei 38-45 zile
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers Lecture Notes in Computer Science, nr. 6486 Editat de Michael Johnson et al. 14 ian 2011 Paperback Preț: 318.30 lei 397.88 lei 3-5 săpt. -20%
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows Lecture Notes in Computer Science, nr. 11565 Editat de Joshua D. Guttman et al. 28 apr 2019 Paperback Preț: 317.68 lei 397.10 lei 6-8 săpt. -20%