Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Editat de Jan Kofroň et al.
29 noi 2023
Paperback
Preț: 402.57 lei 503.22 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 463.44 lei 579.30 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 427.62 lei 534.52 lei
3-5 săpt. | 6-10 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 392.22 lei 490.28 lei
3-5 săpt. | 6-10 zile
-20%