From Lambda Calculus to Cybersecurity through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement (Lecture Notes in Computer Science (12065))

von: Alessandra Di Pierro · Pasquale Malacaria · Rajagopal Nagarajan

Taschenbuch

EAN=ISBN-13: 978-3-030-41102-2

ISBN-10: 3-030-41102-8

Springer · Juni 2020