From Lambda Calculus to Cybersecurity Through Program Analysis Alessandra Di Pie
53,49 €
Titel: From Lambda Calculus to Cybersecurity Through Program Analysis, Untertitel: Essays Dedicated to Chris Hankin on the Occasion of His Retirement, Einband: Taschenbuch, Autor: Alessandra Di Pierro, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 308, Maße: 235x155x17 mm, Gewicht: 470 g, Verkäufer: buch-mimpf, Schlagworte: Cyber-hygiene Cyber-security Healthcare Internet of Things Markov processes Optimization Program Verification Slicing Training abstract interpretation data privacy finite state machines game theory lambda calculus logic probabilistic computation process calculi program analysis program semantics type theory.
Jetzt bei Ebay:
