Foundations of the automatic analysis of cyber-physical systems
Věcné třídění
Bibliografické údaje
- Neurčeno
- Základy automatické analýzy kyber-fyzikálních systémů
- Vydáno
- 2015
- Místo vydání
- V Praze
- Jazyk
- Angličtina
Vydání
- Tištěná knihaBrožovaná vazba
978-80-01-05760-5 (brožováno)
Vydáno:
- Typ obsahu
- Text
- Skladba produktu
- Jednosložkový maloobchodní produkt
- Stav vydání
- Neurčeno
Obsahy
Významná vlastnost
Nad názvem: České vysoké učení technické v Praze, Fakulta informačních technology [i.e. technologií]
Významná vlastnost
V publikaci uvedeno: V Praze : České vysoké učení technické
Významná vlastnost
33 výtisků
Doporučení
Obsahuje bibliografii