Tim A. C. Willemse - Böcker

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

Formal Techniques for Distributed Objects, Components, and Systems

Av Kirstin Peters, Tim A. C. Willemse

Häftad, Engelska, 2021

709 kr

Skickas inom 10-15 vardagar
Carla Ferreira, Tim A. C. Willemse - Software Engineering and Formal Methods, Häftad
Del 14323 - Lecture Notes in Computer Science

Software Engineering and Formal Methods

Av Carla Ferreira, Tim A. C. Willemse

Häftad, Engelska, 2023

939 kr

Skickas inom 7-10 vardagar