Verifikácia komunikačných protokolov

Enregistré dans:
Auteur principal: Michalica, Martin, 1985- (Auteur)
Autres auteurs: Fogel, Jaroslav, 1945- (Directeur de thèse)
Format: Manuscrit Livre
Langue:slovaque
Publié: Bratislava : STU v Bratislave FEI, 2010
Sujets:
Aplikovaná informatika
verifikačné protokoly
Accès en ligne:VAIS
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

MARC

LEADER 00000ntm a22000003a 4500
001 stu209277
005 20150617230104.1
008 100818s2010------------------------slo-d
040 |a STU  |b slo 
041 0 |a slo 
100 1 |a Michalica, Martin,  |d 1985-  |4 aut  |u E  |T FEI Fakulta elektrotechniky a informatiky  |X 12038  |U E  |Y 30  |7 A000012038 
242 0 0 |a Verification of communication protocols  |y eng 
245 1 |a Verifikácia komunikačných protokolov 
260 |a Bratislava :  |b STU v Bratislave FEI,  |c 2010 
300 |a 80 s 
650 7 |a Aplikovaná informatika  |2 stusub 
650 7 |a verifikačné protokoly  |2 stusub 
700 1 |a Fogel, Jaroslav,  |d 1945-  |4 ths  |u E200  |U FEI Fakulta elektrotechniky a informatiky  |T FEI Katedra aplikovanej informatiky a výpočtovej techniky  |X 2195  |U E200  |Y 67  |7 A000002195 
856 4 |a info a plný text  |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=51324  |3 VAIS 

Documents similaires