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

Na minha lista:
Autor principal: Šajtlava, Igor, 1987- (Author)
Outros Autores: Fogel, Jaroslav, 1945- (Thesis advisor)
Formato: Manuscrito Livro
Idioma:eslovaco
Publicado em: Bratislava : STU v Bratislave FEI, 2012
Assuntos:
Applied Infromatics
model checking
verifikácia
Acesso em linha:VAIS
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

MARC

LEADER 00000ntm a22000003a 4500
001 stu252835
005 20150617230225.5
008 120721s2012----xo------------------slo-d
040 |a STU  |b slo 
041 0 |a slo 
044 |a xo 
100 1 |a Šajtlava, Igor,  |d 1987-  |4 aut  |u E  |T FEI Fakulta elektrotechniky a informatiky  |X 35028  |U E  |Y 30  |7 A000035028 
242 0 0 |a Verification of concurrent programs written in Java  |y eng 
245 1 |a Verifikácia konkurentných programov napísaných v jazyku JAVA 
260 |a Bratislava :  |b STU v Bratislave FEI,  |c 2012 
300 |a 99 s 
650 7 |a Applied Infromatics  |2 estusub 
650 7 |a model checking  |2 stusub 
650 7 |a verifikácia  |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=71828  |3 VAIS 
996 |b 284EP10096  |c E*DIPL-10096  |l EE35  |s P  |a 0  |w stu252835_0001 

Registos relacionados