Formální metody reprezentace struktury tříd systému

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/38612

Title:	Formální metody reprezentace struktury tříd systému
Author:	Tomis, Martin
Advisor:	Vondrák, Ivo
Date issue:	1995
Type:	Diplomová práce
Location:	ÚK/Sklad diplomových prací
Signature:	33101/7042
URI:	http://hdl.handle.net/10084/38612

Files	Size	Format	View
There are no files associated with this item.

Vysokoškolské kvalifikační prace zpracované do konce 1. pololetí 2006 / Theses and dissertations until 08/2006 [20924]
Kolekce obsahuje záznamy o tištěných vysokoškolských kvalifikačních pracích do 6. srpna 2006. Záznamy byly do repozitáře jednorázově importovány z lokálního katalogu T-Series.