3 Ebook di Alessandra Di Pierro
Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages
…
PDF
Inglese
DRM
€57.82
Marco Bernardo & Alessandra Di Pierro: Formal Methods for Dynamical Systems
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, …
PDF
Inglese
DRM
€51.35
Pasquale Malacaria & Rajagopal Nagarajan: From Lambda Calculus to Cybersecurity Through Program Analysis
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 …
PDF
Inglese
DRM
€57.28
