Alberto Lluch Lafuente – författare

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

3 produkter

1. 

   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

   739 kr

   Lägg i varukorg

2. 

   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

   739 kr

   Lägg i varukorg

3. 

   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

   739 kr

   Lägg i varukorg