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
3 229 kr
Del i serien Lecture Notes in Computer Science
From Lambda Calculus to Cybersecurity Through Program Analysis
Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Häftad, Engelska, 2020
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2020-02-15
- Mått155 x 235 x 17 mm
- Vikt470 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor293
- FörlagSpringer Nature Switzerland AG
- ISBN9783030411022
Tillhör följande kategorier
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
729 kr
Formal Methods for Dynamical Systems
Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2013
669 kr
- Nyhet
Del 1
- Nyhet
Del 6
- Nyhet