Verification, Model Checking, and Abstract Interpretation
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Häftad, 2024
1 069 kr
Del i serien De Gruyter STEM
1 229 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.