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

Juhász, András (2001) Object-Oriented Program Verification (Objektum-orientált program bizonyítás). Masters, Szegedi Tudományegyetem.

	PDF 2001_juhasz_andras_01_77.pdf Hozzáférés joga: SZTE designated computers only Download (27MB)
	PDF 2001_juhasz_andras_01_77_velemeny.pdf Hozzáférés joga: Repository staff only Download (585kB)

Institution

Szegedi Tudományegyetem

Supervisor

Supervisor scientific name label

EHA

Fülöp, dr. Zoltán

egyetemi docens

UNSPECIFIED

Item Type:	Thesis (Masters)
Subjects:	01. Natural sciences > 01.02. Computer and information sciences
Depositing User:	TTK szerkesztő
Date Deposited:	2011. Mar. 11. 13:54
Last Modified:	2013. Mar. 14. 07:09
URI:	https://diploma.bibl.u-szeged.hu/id/eprint/2075

View Item