Verifikácia konkurentných programov napísaných v jazyku C

Na minha lista:
Autor principal: Mészáros, Martin, 1987- (Author)
Outros Autores: Fogel, Jaroslav, 1945- (Thesis advisor)
Formato: Manuscrito Livro
Idioma:eslovaco
Publicado em: Bratislava : STU v Bratislave FEI, 2011
Assuntos:
Aplikovaná informatika
Applied Infromatics
verifikácia projektového plánu
Acesso em linha:VAIS
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

MARC

LEADER 00000ntm a22000003a 4500
001 stu230732
005 20150617230136.7
008 110709s2011----xo------------------slo-d
040 |a STU  |b slo 
041 0 |a slo 
044 |a xo 
100 1 |a Mészáros, Martin,  |d 1987-  |4 aut  |u E  |T FEI Fakulta elektrotechniky a informatiky  |X 35320  |U E  |Y 30  |7 A000035320 
242 0 0 |a Verification of concurrent programs written in C language  |y eng 
245 1 |a Verifikácia konkurentných programov napísaných v jazyku C 
260 |a Bratislava :  |b STU v Bratislave FEI,  |c 2011 
300 |a 64 s 
650 7 |a Aplikovaná informatika  |2 stusub 
650 7 |a Applied Infromatics  |2 estusub 
650 7 |a verifikácia projektového plánu  |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=71816  |3 VAIS 
996 |b 284EP09919  |c E*DIPL-9919  |l EE35  |s P  |a 0  |w stu230732_0001 

Registos relacionados