A Contribution to comprehension model and presentation of Z specifications : Diz.práca:Obh. 29.4.1999

Na minha lista:
Autor principal: Mikušiak, Luboš (Author)
Outros Autores: Vojtek, Vladimír, 1954- (Thesis advisor)
Formato: Manuscrito Livro
Idioma:inglês
Publicado em: Bratislava : STU v Bratislave FEI, 1999
Assuntos:
programovanie
formálne metódy
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

MARC

LEADER 00000ntm a22000003a 4500
001 stu52251
005 20200817130807.1
008 000225s1999----xo------------------eng-d
040 |a STU  |b slo 
041 0 |a eng 
044 |a xo 
080 |a 681.32.06 
080 |a 519.68 
084 |a C6110F  |2 INS 
100 1 |a Mikušiak, Luboš  |4 aut 
245 1 |a A Contribution to comprehension model and presentation of Z specifications :  |b Diz.práca:Obh. 29.4.1999 
260 |a Bratislava :  |b STU v Bratislave FEI,  |c 1999 
300 |a 94 s 
650 7 |a programovanie  |2 stusub 
650 7 |a formálne metódy  |2 stusub 
700 1 |a Vojtek, Vladimír,  |d 1954-  |4 ths  |u E220  |U FEI Fakulta elektrotechniky a informatiky  |T FEI Katedra informatiky a výpočtovej techniky  |X 1930  |U E220  |Y 69  |7 1930 
996 |b 284ED00010  |c E*PGŠ-780  |l EE01  |s A  |a 24  |w stu52251_0001 
996 |b 284ED00012  |c E*PGŠ-782  |l EE01  |s A  |a 24  |w stu52251_0002 

Registos relacionados