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ț: 432.58 lei 540.72 lei
6-8 săpt.
-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ț: 399.33 lei 499.16 lei
6-8 săpt.
-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ț: 321.80 lei 402.26 lei
6-8 săpt.
-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ț: 315.44 lei 394.31 lei
6-8 săpt.
-20%