Zoeken

U zocht naar: Auteur Schlingloff, Bernd-Holger. Filter Auteur: Schlingloff, Bernd-Holger. weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
thumbnail
Full text!
Auteur:
Schlingloff, Bernd-Holger.; Skowron, Andrzej; Vogel, Thomas
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book
2. Formal Methods for Software Engineering : Languages, Methods, Application Domains
thumbnail
Full text!
Auteur:
Roggenbach, Markus.; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
3. Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
thumbnail
Full text!
Auteur:
Bernd-Holger Schlingloff; Chai, Ming
Uitgever:
Springer Nature 2022
Type:
e-book