Ori Lahav - Böcker
Visar alla böcker från författaren Ori Lahav.
3 produkter
3 produkter
Del 14500 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Häftad, Engelska, 2024
1 069 kr
Skickas inom 7-10 vardagar
Del 14499 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
Häftad, Engelska, 2024
1 069 kr
Skickas inom 10-15 vardagar
1 159 kr
Skickas inom 7-10 vardagar