Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Häftad
719 kr
From Lambda Calculus to Cybersecurity Through Program Analysis
Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Häftad, Engelska, 2020
689 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 Dynamical Systems
Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky, Erik De, Erik de Vink
Häftad
639 kr
- Bokrea
Del 1