Alberto Lluch Lafuente - Böcker

Visar alla böcker från författaren Alberto Lluch Lafuente.

3 produkter

Kategorier

3 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, Engelska, 2021

739 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar