Aina Niemetz – författare
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, 2025
1869 kr
Lägg i varukorg
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, 2025
2169 kr
Lägg i varukorg