Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
Häftad, 2022
1 289 kr
Del 13990 i serien Lecture Notes in Computer Science
599 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Del 13990 i serien Lecture Notes in Computer Science
599 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Del 13990 i serien Lecture Notes in Computer Science
599 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.