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

My Wish Lists Login / Join

Results for author 'S. Akshay'

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

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I - Aina Niemetz

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Aina Niemetz, Sriram Sankaranarayanan and S. Akshay

Paperback

$219.00

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II - S. Akshay

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

S. Akshay, Aina Niemetz and Sriram Sankaranarayanan

Paperback

$421.75

2 Results