Selected Problems from the Area of Formal Verification

dc.contributor.advisor	Jančar, Petr
dc.contributor.author	Kot, Martin	en
dc.date.accessioned	2010-02-07T20:28:03Z
dc.date.available	2010-02-07T20:28:03Z
dc.date.issued	2009	en
dc.identifier.other	OSD002	cs
dc.identifier.uri	http://hdl.handle.net/10084/77895
dc.description	Import 07/02/2010
dc.format	110 s. : il.	cs
dc.language.iso	cs	en
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.title	Selected Problems from the Area of Formal Verification	cs
dc.title.alternative	Selected Problems from the Area of Formal Verification	en
dc.type	Disertační práce	cs
dc.identifier.signature	201000377	cs
dc.identifier.location	ÚK/Sklad diplomových prací	cs
dc.contributor.referee	Brázdil, Tomáš	en
dc.contributor.referee	Srba, Jiří	en
dc.contributor.referee	Vojnar, Tomáš	en
dc.date.accepted	2010-02-02	en
dc.thesis.degree-name	Ph.D.	en
dc.thesis.degree-level	Doktorský studijní program	cs
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	cs
dc.description.category	Prezenční	cs
dc.description.department	456 - Katedra informatiky	en
dc.thesis.degree-program	Informační technologie	cs
dc.thesis.degree-branch	Informatika a aplikovaná matematika	cs
dc.description.result	výborně	cs
dc.identifier.sender	S2724	cs
dc.identifier.thesis	KOT06_FEI_P2646_1801V002_2009

Soubory tohoto záznamu

Soubory	Velikost	Formát	Zobrazit
K tomuto záznamu nejsou připojeny žádné soubory.