Formal Methods for Software Engineering: Languages, Methods, Application Domains
Autor Markus Roggenbach et al.
24 iun 2023
Paperback
Preț: 319.34 lei 399.17 lei
3-5 săpt. | 4-10 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-44 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ț: 422.25 lei 527.80 lei
6-8 săpt.
-20%