Výsledky vyhledávání

Nalezeno záznamů: 1  
Váš dotaz: Autor-kód záznamu = "^upol_us_auth 0389371^"
  1. 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
    Z000100


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.