Výsledky vyhledávání
- Verifying cyber-physical systems : a path to safe autonomy / Sayan Mitra. Cambridge, MA ; London : The MIT Press, [2021] ©2021 . xvi, 296 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 kniha