Search

You searched for: Auteur Lluch Lafuente, Alberto Remove constraint Auteur: Lluch Lafuente, Alberto
1 - 3 of 3
Number of results to display per page

Search Results

1. Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
thumbnail
Full text!
Author:
Lluch Lafuente, Alberto; Mavridou, Anastasia
Publisher:
Springer International Publishing 2021
Format:
e-book
2. Trustworthy Global Computing
thumbnail
Full text!
Author:
Martín Abadi, Alberto Lluch Lafuente; Abadi, Martín; Lluch Lafuente, Alberto
Publisher:
Springer International Publishing 2014
Format:
e-book
3. Coordination Models and Languages
thumbnail
Full text!
Author:
Alberto Lluch Lafuente, José Proença; Proença, José
Publisher:
Springer International Publishing 2016
Format:
e-book