Tim A. C. Willemse – författare

Visar alla böcker från författaren Tim A. C. Willemse. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   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, 2021

   562 kr

   Lägg i varukorg

   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, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing …

2. 

   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 Tim A. C. Willemse, Kirstin Peters

   E-bok, 2021

   734 kr

   Lägg i varukorg

   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, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing …

3. 

   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, 2023

   725 kr

   Lägg i varukorg

   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, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, …

4. 

   Software Engineering and Formal Methods

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

   Av Tim A. C. Willemse, Carla Ferreira

   E-bok, 2023

   923 kr

   Lägg i varukorg

   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, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, …