Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
Editat de Panagiotis Katsaros et al.
2 oct 2023
Paperback
Preț: 466.31 lei 582.89 lei
6-8 săpt.
-20%
Cărți de Laura Nenzi
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Editat de Omri Isac et al.
16 dec 2022
Paperback
Preț: 388.86 lei 486.07 lei
3-5 săpt. | 6-10 zile
-20%