Cărți de Laura Nenzi

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14245

Editat de Panagiotis Katsaros et al.

2 oct 2023

Preț: 471^.07 lei 588^.84 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 13466

Editat de Omri Isac et al.

16 dec 2022

Preț: 401^.98 lei 502^.48 lei

43-57 zile

-20%