Ori Lahav – författare
Visar alla böcker från författaren Ori Lahav.
3 produkter
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Av Rayna Dimitrova, Ori Lahav m. fl.
Häftad, 2024
1099 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
Av Rayna Dimitrova, Ori Lahav m. fl.
Häftad, 2024
1109 kr
Lägg i varukorg