Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Ori Lahav'

Refine Your Results

subjects

Computing & I.T.

2

lists

All Books

2

availability

All Books

2

price

Over $100

2

formats

Paperbacks

2

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II - Ori Lahav

Verification, Model Checking, and Abstract Interpretation

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

Ori Lahav, Sebastian Wolff and Rayna Dimitrova

Paperback

$109.75

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I - Rayna Dimitrova

Verification, Model Checking, and Abstract Interpretation

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

Rayna Dimitrova, Ori Lahav and Sebastian Wolff

Paperback

$109.75

2 Results