From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement

Type:

e-book

Titel:

From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement

Auteur:

Di Pierro; Malacaria, Pasquale; Nagarajan, Rajagopal

Taal:

Engels

Uitgever:

Springer International Publishing 2020

ISBN:

3-030-41102-8
3-030-41103-6

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000010480265