Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy disertační práce

Saved in:
Bibliographic Details
Main Author: Bližňák, Michal, 1977- (Dissertant)
Other Authors: Vašek, Vladimír, 1948- (Thesis advisor)
Format: Manuscript
Language: Czech
Published: 2007
Subjects:
Physical Description: 138 s. : il. ; 25 cm

Cover

LEADER 01582ntm a22003734a 4500
001 54937
003 CZ ZlUTB
005 20240830155053.0
007 ta
008 100205s2007 xr a f m 000 0 cze d
040 |a ZLD002  |b cze 
041 0 |a cze  |b eng 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004.031.6  |2 MRF 
080 |a (043.3)378.245  |2 MRF 
100 1 |a Bližňák, Michal,  |d 1977-  |7 ola2006323498  |4 dis 
245 1 0 |a Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy  |h [rukopis] :  |b disertační práce /  |c Michal Bližňák ; školitel Vladimír Vašek 
260 |c 2007 
300 |a 138 s. :  |b il. ;  |c 25 cm 
500 |a Studijní obor Technická kybernetika 
502 |a Disertace (PhD.)--Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky, 2007 
504 |a Obsahuje bibliografii 
546 |a Angické resumé 
650 0 7 |a vestavěné systémy  |7 ph348267  |2 czenas 
650 0 9 |a embedded systems  |2 eczenas 
655 7 |a doktorské disertace  |7 fd186751  |2 czenas 
655 9 |a higher doctoral dissertations  |2 eczenas 
700 1 |a Vašek, Vladimír,  |d 1948-  |7 jn20001005634  |4 ths 
710 2 |a Univerzita Tomáše Bati ve Zlíně.  |b Fakulta aplikované informatiky  |7 mzk2006318344  |4 dgg 
910 |a ZLD002 
992 |a BK  |c vs 
999 |c 54937  |d 54937 
993 |x NEPOSILAT  |y VSKP 
952 |0 0  |1 0  |4 0  |6 KBLIŽŇÁKM  |7 0  |8 MANUS  |9 100630  |a UTBZL  |b UTBZL  |c 001  |d 2010-02-05  |o K/BLIŽŇÁK,M.  |p 420010130348  |r 2019-08-26  |w 2019-08-26  |x N:povinný výtisk  |y 12