1.

Record Nr.

UNICAMPANIAVAN0249184

Titolo

From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors

Pubbl/distr/stampa

Cham, : Springer, 2020

Titolo uniforme

From Lambda Calculus to Cybersecurity Through Program Analysis

Descrizione fisica

xiv, 293 p. : ill. ; 24 cm

Soggetti

68-XX - Computer science [MSC 2020]

00B30 - Festschriften [MSC 2020]

03B70 - Logic in computer science [MSC 2020]

68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]

68M25 - Computer security [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia