Ori Lahav - Böcker

Visar alla böcker från författaren Ori Lahav.
3 produkter
Rayna Dimitrova, Ori Lahav, Sebastian Wolff - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 14500 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

Av Rayna Dimitrova, Ori Lahav, Sebastian Wolff

Häftad, Engelska, 2024

1 049 kr

Skickas inom 5-8 vardagar
Rayna Dimitrova, Ori Lahav, Sebastian Wolff - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 14499 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

Av Rayna Dimitrova, Ori Lahav, Sebastian Wolff

Häftad, Engelska, 2024

1 049 kr

Skickas inom 7-10 vardagar
Ori Lahav, Liat Birnhack - Aquatic Chemistry, Häftad

Aquatic Chemistry

Av Ori Lahav, Liat Birnhack

Häftad, Engelska, 2019

1 239 kr

Skickas inom 3-6 vardagar