Tim A. C. Willemse - Böcker

Visar alla böcker från författaren Tim A. C. Willemse.

2 produkter

Kategorier

2 produkter

Formal Techniques for Distributed Objects, Components, and Systems

41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Av Kirstin Peters, Tim A. C. Willemse

Häftad, Engelska, 2021

709 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Av Carla Ferreira, Tim A. C. Willemse

Häftad, Engelska, 2023

939 kr

Skickas inom 10-15 vardagar