Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled

Författare
Edmund M. Clarke
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-0-585-38558-7