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

Salvato in:
Autore principale: Mikušiak, Luboš (Autore)
Altri autori: Vojtek, Vladimír, 1954- (Relatore della tesi)
Natura: Manoscritto Libro
Lingua:inglese
Pubblicazione: Bratislava : STU v Bratislave FEI, 1999
Soggetti:
programovanie
formálne metódy
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

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 

Documenti analoghi