Zoeken

U zocht naar: Auteur Wies, Thomas Filter Auteur: Wies, Thomas weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Programming Languages and Systems
thumbnail
Full text!
Auteur:
Wies, Thomas
Uitgever:
Springer Nature Switzerland 2023
Type:
e-book
2. Verified Software. Theories, Tools, and Experiments
thumbnail
Full text!
Auteur:
Paskevich; Wies, Thomas
Uitgever:
Springer International Publishing 2017
Type:
e-book
3. Networked Systems : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
thumbnail
Full text!
Auteur:
Mohaisen, David.; Wies, Thomas
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book
4. Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
thumbnail
Full text!
Auteur:
Finkbeiner, Bernd.; Wies, Thomas
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book