Cut-offs and automata in formal verification of infinite-state systems :

Hlavní autor:	Vojnar, Tomáš, 1973-
Korporativní autor:	Vysoké učení technické v Brně. Fakulta informačních technologií
Jazyk:	Angličtina
Vydáno:	Brno : Faculty of Information Technology, Brno University of Technology, 2007
Vydání:	Vyd. 1.
Témata:	počítačová věda dynamické systémy modelování a simulace formální verifikace habilitační práce
Fyzický popis:	ix, 177 s. : il. ; 25 cm

Knihy

Z důvodu uzavření knihovny je až do odvolání zablokována možnost zadávání požadavků na výpůjčky. Děkujeme za pochopení.

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