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 /

Hlavní autor: Vojnar, Tomáš, 1973-
Korporativní autor: Vysoké učení technické v Brně. Ústav inteligentních systémů
Jazyk: Angličtina
Vydáno: Brno : VUTIUM, 2011
Edice: Vědecké spisy Vysokého učení technického v Brně. Habilitační a inaugurační spisy, sv. 385
Témata:
Fyzický popis: 33 s. : il. ; 24 cm
Knihy
Uloženo v:

status  půjčeno do  dílčí knihovna  sbírka / doba vyhledání  umístění  popis  pozn.  Skladová signatura 
Jen do studovny
 
 
Sklad / do 1 hodiny
2-1279.280
Měsíc
 
 
Sklad / do 1 hodiny
2-1279.280