Alberto Lluch Lafuente – författare
Visar alla böcker från författaren Alberto Lluch Lafuente. Handla med fri frakt och snabb leverans.
6 produkter
Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Av Alberto Lluch Lafuente, Anastasia Mavridou
Häftad, 2021
569 kr
Lägg i varukorg
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 planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The …
Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Av Anastasia Mavridou, Alberto Lluch Lafuente
E-bok, 2021
755 kr
Lägg i varukorg
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 planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. …
Trustworthy Global Computing
8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Av Martín Abadi, Alberto Lluch Lafuente
Häftad, 2014
569 kr
Lägg i varukorg
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. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and …
Trustworthy Global Computing
8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Av Alberto Lluch Lafuente, Martin Abadi
E-bok, 2014
739 kr
Lägg i varukorg
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. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and …
Coordination Models and Languages
18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Av Alberto Lluch Lafuente, José Proença
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full …
Coordination Models and Languages
18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Av Jose Proenca, Alberto Lluch Lafuente
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Conference on Coordination Models and Languages, COORDINATION 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. The 16 full …
