Tim A. C. Willemse

Tim A. C. Willemse

Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14323

Editat de Carla Ferreira et al.

31 oct 2023

Preț: 414^.05 lei 517^.56 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12719

Editat de Kirstin Peters et al.

10 iun 2021

Preț: 323^.93 lei 404^.90 lei

6-8 săpt.

-20%