Zoeken

U zocht naar: Auteur Ravara, António Filter Auteur: Ravara, António weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal,
thumbnail
Full text!
Auteur:
Huisman, Marieke.; Ravara, António
Uitgever:
Cham Springer 2023
Type:
e-book
2. Web Services, Formal Methods, and Behavioral Types
thumbnail
Full text!
Auteur:
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich; Antonio, Ravara; Ravara, António; van der Werf, Jan Martijn; Weidlich, Matthias
Uitgever:
Springer International Publishing 2016
Type:
e-book