Katalog Vědecké knihovny v Olomouci -- Infinity'08 : 10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008 / editors Peter Habermehl, Tomáš Vojnar -- OLA001 2-010.439

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

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.

Číslo nár.bibliogr.	978-80-214-3697-8 (kroužková vazba)
072 7	004 Počítačová věda. Výpočetní technika. Informační technologie
080	004
080	(062.534)
1112	Infinity '08 (Toronto, Ontario)
24510	Infinity'08 : 10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008 / editors Peter Habermehl, Tomáš Vojnar
24630	10th International Workshop on Verification of Infinite-State Systems - Infinity'08
260	Brno : Faculty of Information Technology, Brno University of Technology, 2008
Obecné poznámky	68 s. ; 28 cm
4901	FIT BUT Technical Report Series ; FIT-TR-2008-006
504	Obsahuje bibliografie a bibliografické odkazy
65007	počítačová věda
65009	computer science
655 7	sborníky konferencí
655 9	proceedings of conferences
Osobní jm.-primár.o	Habermehl, Peter
Osobní jm.-primár.o	Vojnar, Tomáš, 1973-
Korpor.,akce-alt.o.	International Conference on Concurrency Theory (19. : 2008 : Toronto, Ontario)
8102	Vysoké učení technické v Brně. Fakulta informačních technologií. Technické zprávy
Údaj agentury ISBN	[1st ed.] 20081110
Sigla,sign.vlastn.	OLA001 2-010.439
Nakladatel (SA)	Fakulta informačních technologií, Vysoké učení technické v Brně
EXE	1
Vydáno sev.Mor.	e-xr-jm
Externí soubor (obrázek, hyperlink...)	obsah dokumentu