Zoeken

U zocht naar: Auteur Philippou, Anna Filter Auteur: Philippou, Anna weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6. 1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, Jun
thumbnail
Full text!
Auteur:
Mousavi, Mohammad Reza.; Philippou, Anna
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
2. FM 2016: Formal Methods
thumbnail
Full text!
Auteur:
Fitzgerald; Gnesi, Stefania; Heitmeyer, Constance; Philippou, Anna
Uitgever:
Springer International Publishing 2016
Type:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Kowalewski, Stefan; Kanade, Takeo; Philippou, Anna; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book