Rayna Dimitrova - Böcker

Visar alla böcker från författaren Rayna Dimitrova.
3 produkter
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina - Software Verification, Häftad

Software Verification

Av Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

Häftad, Engelska, 2022

809 kr

Skickas inom 7-10 vardagar
Rayna Dimitrova, Ori Lahav, Sebastian Wolff - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 14500 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

Av Rayna Dimitrova, Ori Lahav, Sebastian Wolff

Häftad, Engelska, 2024

1 049 kr

Skickas inom 5-8 vardagar
Rayna Dimitrova, Ori Lahav, Sebastian Wolff - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 14499 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

Av Rayna Dimitrova, Ori Lahav, Sebastian Wolff

Häftad, Engelska, 2024

1 049 kr

Skickas inom 7-10 vardagar