From Lambda Calculus to Cybersecurity Through Program Analysis Dublin Core Títol From Lambda Calculus to Cybersecurity Through Program Analysis Autor Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan Matèria Mathematics and Statistics Editor Springer Nature Data de publicació 2020 Identificador 9783030411039 Font https://doi.org/10.1007/978-3-030-41103-9 Etiquetes Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →
