Zoeken

U zocht naar: Auteur ter Beek, Maurice H. Filter Auteur: ter Beek, Maurice H. weghalen Fulltext online Filter Fulltext: online weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Coordination Models and Languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
thumbnail
Full text!
Auteur:
ter Beek, Maurice H.; Sirjani, Marjan
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
2. Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
thumbnail
Full text!
Auteur:
ter Beek, Maurice H.; Monahan, Rosemary
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
3. Architecting Dependable Systems VI
thumbnail
Full text!
Auteur:
Lemos, Rogério; Beek, Maurice; Fabre, Jean-Charles; Gacek, Cristina; Gadducci, Fabio; Kanade, Takeo; ter Beek, Maurice H.
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
4. Critical Systems: Formal Methods and Automated Verification
thumbnail
Full text!
Auteur:
Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander.; Gnesi, Stefania; Knapp, Alexander
Uitgever:
Springer International Publishing 2016
Type:
e-book