Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement

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


Book Informaton

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

Author

Alessandra Di Pierro; Pasquale Malacaria; Rajagopal Nagarajan

Series

Lecture Notes in Computer Science

Volume

12065

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XIV, 293

Language

en

ISBN

9783030411022, 9783030411039, 3030411028

ARI Id

1665240925237


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.