Hoppa till sidans huvudinnehåll

Aina Niemetz - Böcker

Visar alla böcker från författaren Aina Niemetz.
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 089 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 409 kr

Skickas inom 10-15 vardagar