Inbunden, Engelska, 2026
709 kr
Kommande
Laura Nenzi – författare
Visar alla böcker från författaren Laura Nenzi.
3 produkter
3 produkter
- Del 13466 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2022969 kr
Skickas inom 10-15 vardagar
- Del 14245 - Lecture Notes in Computer Science
Runtime Verification
23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
Häftad, Engelska, 20231 039 kr
Skickas inom 10-15 vardagar