Hoppa till sidans huvudinnehåll

Tim A. C. Willemse – författare

Visar alla böcker från författaren .
2 produkter
Kirstin Peters, Tim A. C. Willemse - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
Del 12719 - Lecture Notes in Computer Science

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

AvKirstin Peters,Tim A. C. Willemse

Häftad, Engelska, 2021

729 kr

Skickas inom 10-15 vardagar

Carla Ferreira, Tim A. C. Willemse - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

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

AvCarla Ferreira,Tim A. C. Willemse

Häftad, Engelska, 2023

939 kr

Skickas inom 5-8 vardagar