Logical Analysis of Hybrid Systems electronic resource : Proving Theorems for Complex Dynamics / by André Platzer

Författare
André. author. Platzer
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat