Katalog Vědecké knihovny v Olomouci -- 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 / Tomáš Vojnar -- OLA001 1-242.406

Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000993019

Navigace: https://aleph.vkol.cz/pub / svk01 / 00099xxxx / 0009930xx / 000993019.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.

ISBN	978-80-214-4251-1 (brož.)
Kód jazyka	eng cze
Kód předm.kateg.	004 Počítačová věda. Výpočetní technika. Informační technologie
MDT	004.03
MDT	004.052.42
MDT	(043.5:042.3)
MDT	(048.3)
HZ-Osobní jméno	Vojnar, Tomáš, 1973-
Názvové údaje	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 / Tomáš Vojnar
Varianta názvu	Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů
Nakladatel.údaje	Brno : VUTIUM, 2011
Údaje fyz.popisu	33 s. : il. ; 24 cm
Edice-jiná forma	Vědecké spisy Vysokého učení technického v Brně. Habilitační a inaugurační spisy, 1213-418X ; sv. 385
Pozn.o disertaci	Nad názvem: Brno University of Technology, Faculty of Information Technology, Department of Intelligent Systems
Pozn.o bibliogr.	Obsahuje bibliografii
Pozn.o jazyku	České resumé
Předm.-Věc.téma	počítačové systémy
Předm.-Věc.téma	formální verifikace
Předm.-angl.	computer systems
Předm.-angl.	formal verification
Žánr/forma	profesorské přednášky
Žánr/forma	teze
Žánr/forma	inauguration lectures
Žánr/forma	abstracts
VZ-Korporace	Vysoké učení technické v Brně. Ústav inteligentních systémů
VZ-Edice-Korporace	Vysoké učení technické v Brně. Vědecké spisy. Habilitační a inaugurační spisy
ISBN-pom.údaje	[1st ed.] 20111108
Sigla,sign.vlastn.	OLA001 1-242.406
Nakladatel-aut.f.	Vysoké učení technické v Brně
Počet exemplářů	1