Hoppa till sidans huvudinnehåll

Ori Lahav – författare

Visar alla böcker från författaren .
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

25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II

AvRayna Dimitrova,Ori Lahavm. fl.

Häftad, Engelska, 2024

1 089 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

25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I

AvRayna Dimitrova,Ori Lahavm. fl.

Häftad, Engelska, 2024

1 089 kr

Skickas inom 10-15 vardagar

Ori Lahav, Liat Birnhack - Aquatic Chemistry, Häftad

Aquatic Chemistry

for Water and Wastewater Treatment Applications

AvOri Lahav,Liat Birnhack

Häftad, Engelska, 2019

1 269 kr

Skickas inom 5-8 vardagar