Formal Methods for Software Engineering: Languages, Methods, Application Domains
Autor Markus Roggenbach et al.
24 iun 2023
Paperback
Preț: 342.21 lei 427.76 lei
3-5 săpt. | 6-12 zile
-20%
Bernd-Holger Schlingloff
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Editat de Bernd-Holger Schlingloff et al.
6 mai 2024
Paperback
Preț: 928.07 lei 1160.09 lei
38-45 zile
-20%
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
Editat de Bernd-Holger Schlingloff et al.
21 sep 2022
Paperback
Preț: 415.15 lei 518.94 lei
6-8 săpt.
-20%