Návrh a implementácia programovej podpory pre modelovanie a verifikáciu vnorených systémov v jazyku UML

Saved in:
Bibliographic Details
Main Author: Orfánus, Dalimír (Author)
Other Authors: Kardoš, Martin, 1989- (Thesis advisor)
Format: Manuscript Book
Language:Slovak
Published: Bratislava : STU v Bratislave FIIT, 2006
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000ntm a22000003a 4500
001 stu139320
005 20180301111009.0
008 070327s2006----xo------------------slo-d
040 |a STU  |b slo 
041 0 |a slo 
044 |a xo 
100 1 |a Orfánus, Dalimír  |4 aut 
245 1 |a Návrh a implementácia programovej podpory pre modelovanie a verifikáciu vnorených systémov v jazyku UML 
260 |a Bratislava :  |b STU v Bratislave FIIT,  |c 2006 
300 |a 127 s  |c príl. 
650 7 |a informatika  |2 stusub 
700 1 |a Kardoš, Martin,  |d 1989-  |4 ths  |u I100  |U FIIT Fakulta informatiky a informačných technológií  |T FIIT Ústav počítačových systémov a sietí  |X 56185  |U I100  |Y 178  |7 56185 
996 |c I*DP25/06  |l II680  |s P  |a 0  |w stu139320_0001