Conditional and Typed Rewriting Systems Editat de Stephane Kaplan et al. 7 aug 1991 Paperback Preț: 331.59 lei 414.49 lei 6-8 săpt. -20%
Software Security -- Theories and Systems Editat de Mitsuhiro Okada et al. 21 feb 2003 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%
Logic, Language, and Security Lecture Notes in Computer Science, nr. 12300 Editat de Vivek Nigam et al. 29 oct 2020 Paperback Preț: 372.72 lei 465.89 lei 6-8 săpt. -20%
Formal to Practical Security Editat de Véronique Cortier et al. 25 mai 2009 Paperback Preț: 317.47 lei 396.84 lei 6-8 săpt. -20%
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions Springer Proceedings in Mathematics & Statistics, nr. 369 Editat de Toshiyasu Arai et al. 26 ian 2023 Paperback Preț: 961.47 lei 1172.53 lei 6-8 săpt. -18%