Número de Cutter-SanbornP623fEntrada «Pierres» → 623 · marca de obra “f”

From Lambda Calculus to Cybersecurity Through Program Analysis

Name: From Lambda Calculus to Cybersecurity Through Program Analysis
ISBN: 9783030411022

Essays Dedicated to Chris Hankin on the Occasion of His Retirement

Páginas
Autor	Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
Editorial	Springer
Fecha de publicación	Feb 15, 2020

From Lambda Calculus to Cybersecurity Through Program Analysis (2020) — ISBN 9783030411022 | Cutter Number