Hoppa till sidans huvudinnehåll

S. Akshay - Böcker

Visar alla böcker från författaren S. Akshay.
2 produkter

Automated Technology for Verification and Analysis

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

Av S. Akshay, Aina Niemetz m. fl

Häftad, Engelska, 2025

2 179 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

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

Av S. Akshay, Aina Niemetz m. fl

Häftad, Engelska, 2025

2 509 kr

Skickas inom 10-15 vardagar