Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics /

Bibliográfalaš dieđut
Váldodahkki: André Platzer (autor)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín, Alemania : Springer, 2010, c2010
Liŋkkat:Ver documento en línea