Harnessing forest automata for verification of heap manipulating programs :

Hlavní autor:	Šimáček, Jiří, 1983-
Další autoři:	Vojnar, Tomáš, 1973-
Jazyk:	Angličtina
Vydáno:	Brno : Faculty of Information Technology, Brno University of Technology, 2012
Vydání:	Vyd. 1.
Témata:	počítačová věda formální verifikace stromové automaty monografie
Fyzický popis:	ix, 139 s. : il. (některé barev.) ; 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-1299.902
Měsíc Objednat ze skladu			Sklad / do 1 hodiny				3-1299.902