Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings
Editat de Thao Dang et al.
24 sep 2022
Paperback
Preț: 449.54 lei 561.92 lei
43-57 zile
-20%
Volker Stolz
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Editat de Gustavo Carvalho et al.
20 noi 2020
Paperback
Preț: 414.96 lei 518.70 lei
43-57 zile
-20%
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Editat de Violet Ka I Pun et al.
25 noi 2020
Paperback
Preț: 334.38 lei 417.97 lei
43-57 zile
-20%
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Editat de Zoltán Ádám Mann et al.
3 apr 2018
Paperback
Preț: 327.77 lei 409.71 lei
43-57 zile
-20%