Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
C HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal Nagarajan
Inbunden, 1995
2 481 kr
From Lambda Calculus to Cybersecurity Through Program Analysis
Essays Dedicated to Chris Hankin on the Occasion of His Retirement
AvAlessandra Di Pierro,Pasquale Malacaria
Häftad, Engelska, 2020
Del i serien Lecture Notes in Computer Science
540 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science. His research is in cyber security, data analytics and semantics-based program analysis.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2010
556 kr
Formal Methods for Dynamical Systems
Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2013
512 kr
- -19%
- -30%
- -23%
- Nyhet
Del 2
- 4 för 3
Del 1
- -30%
- 4 för 3