Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 273.94 lei 342.42 lei
18-23 zile | 6-12 zile
-20%
Cărți de Bernhard Steffen
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-12 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-12 zile
-20%