Verification, Model Checking, and Abstract Interpretation

Författare
Dirk Beyer
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-3-030-39322-9