Domov / Knjiga

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Andre Platzer

Založnik: Springer

Brezplačna dostava v Slovenijo.

Kategorije