3 Ebooks de Alberto Lluch Lafuente
Martin Abadi & Alberto Lluch Lafuente: Trustworthy Global Computing
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013 …
EPUB
Engleză
DRM
€57.65
Alberto Lluch Lafuente & Jose Proenca: Coordination Models and Languages
This book constitutes the proceedings of the 18th International Conference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th …
PDF
Engleză
DRM
€57.76
Alberto Lluch Lafuente & Anastasia Mavridou: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was pl …
EPUB
Engleză
DRM
€57.82