*Take $10 off when you spend $50+! Use code NEWYEAR10. Ends Mon 5 Jan. T&Cs apply.

My Wish Lists Login / Join

Results for author 'Arie Gurfinkel'

Refine Your Results

subjects

Computing & I.T.

4

lists

All Books

4

availability

All Books

4

price

$50 - $100

4

formats

Paperbacks

4

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II - Arie Gurfinkel

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel and Vijay Ganesh

Paperback

$64.56

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III - Arie Gurfinkel

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Arie Gurfinkel and Vijay Ganesh

Paperback

$64.56

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I - Arie Gurfinkel

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Arie Gurfinkel and Vijay Ganesh

Paperback

$64.56

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I - Arie Gurfinkel

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Arie Gurfinkel and Marijn Heule

Paperback

$64.56

4 Results