Coping with complexity and undecidability in automated verification of computer-based systems
thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů : teze přednášky k profesorskému jmenovacímu řízení v oboru Výpočetní technika a informatika
Věcné třídění
Bibliografické údaje
- Další název
- Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů
- Nakladatel
- Vysoké učení technické v Brně
- Vydáno
- 2011
- Místo vydání
- Brno
- Jazyk
- Angličtina
- Ilustrace
- il.
Vydání
- Formát: Tištěná knihaBrožovaná vazba
ISBN 978-80-214-4251-1 (brož.)
Vydáno:
- Typ obsahu
- Text
- Rozsah
- 33 Strany
- Skladba produktu
- Jednosložkový maloobchodní produkt
- Stav vydání
- Neurčeno
Obsahy
Významná vlastnost
V publikaci uvedeno: Brno : VUTIUM
Doporučení
Obsahuje bibliografii