Rajagopal Nagarajan – författare
Visar alla böcker från författaren Rajagopal Nagarajan. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Häftad, Engelska, 2020
544 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 2020693 kr
Läs direkt efter köp
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. He leads multidisciplinary projects focused on developing advanced visual analytics and providing better decision support to defend against cyber attacks.
This Festschrift is a collection of scientific contributions related to the topics that have marked the research career of Professor Chris Hankin. The contributions have been written to honour Chris'' career and on the occasion of his retirement.
Inbunden, Engelska, 1995
2 481 kr
Tillfälligt slut
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.