Autor: Tim A. C. Willemse

Soporte

2 Ebooks de Tim A. C. Willemse

Kirstin Peters & Tim A. C. Willemse: Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Ma …
EPUB
Inglés
DRM
€57.91
Carla Ferreira & Tim A. C. Willemse: Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 20 …
EPUB
Inglés
DRM
€70.46