Object-Oriented Program Verification (Objektum-orientált program bizonyítás)

Elmentve itt :
Bibliográfiai részletek
Szerző: Juhász András
További közreműködők: Fülöp Zoltán (Témavezető)
Dokumentumtípus: Szakdolgozat
Megjelent: 2001
Tárgyszavak:
Online Access:http://diploma.bibl.u-szeged.hu/2075
LEADER 00698nta a2200169 i 4500
001 dipl2075
005 20130314070943.0
008 110311s2001 hu om 0|| hun d
040 |a SZTE Diploma Repozitórium  |b hun 
041 |a hun 
100 1 |a Juhász András 
245 1 0 |a Object-Oriented Program Verification (Objektum-orientált program bizonyítás)  |h [elektronikus dokumentum] /  |c András Juhász 
260 |c 2001 
650 4 |a Informatika 
700 1 |a Fülöp Zoltán  |e ths 
856 4 0 |u http://diploma.bibl.u-szeged.hu/id/eprint/2075/1/2001_juhasz_andras_01_77.pdf  |z Dokumentum-elérés  
856 4 0 |u http://diploma.bibl.u-szeged.hu/id/eprint/2075/2/2001_juhasz_andras_01_77_velemeny.pdf  |z Dokumentum-elérés