Sebastian Wolff - Böcker

Visar alla böcker från författaren Sebastian Wolff.
2 produkter
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