Aina Niemetz - Böcker

Visar alla böcker från författaren Aina Niemetz.
2 produkter
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis, Häftad
Del 15054 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

Av S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

Häftad, Engelska, 2025

1 869 kr

Skickas inom 5-8 vardagar
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis, Häftad
Del 15055 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

Av S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

Häftad, Engelska, 2025

2 509 kr

Skickas inom 7-10 vardagar