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

My Wish Lists Login / Join

Results for author 'Sharon Shoham'

Refine Your Results

subjects

Computing & I.T.

2

lists

All Books

2

availability

All Books

2

price

$50 - $100

1

Over $100

1

formats

Paperbacks

2

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II - Sharon Shoham

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham and Yakir Vizel

Paperback

$64.75

Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings - Fritz Henglein

Verification, Model Checking, and Abstract Interpretation

22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Fritz Henglein, Yakir Vizel and Sharon Shoham

Paperback

$149.75

2 Results