Ori Lahav – författare
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 5-8 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 079 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2019
1 229 kr
Skickas inom 5-8 vardagar