A programhelyesség bizonyításának módszerei VDL programok vertifikálása

Krasnyánszki Kálmán (1976) A programhelyesség bizonyításának módszerei VDL programok vertifikálása. MA/MSc, József Attila Tudományegyetem.

[img] PDF
1976_krasnyanszki_kalman_299.pdf
Hozzáférés joga: Csak nyilvántartásba vett egyetemi IP-kről nyitható meg

Megtekintés (14MB)

Institution

József Attila Tudományegyetem

Faculty

Faculty of Science and Mathematics

Discipline

Informatics

Specialization

nincs megadva

Supervisor(s)

SupervisorSupervisor scientific name labelEmailEHA
Siklósi IstvánUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Tóth PéterUNSPECIFIEDUNSPECIFIEDUNSPECIFIED

Item Type: Thesis (MA/MSc)
Date: 1976
Depositing User: TTK szerkesztő
Date Deposited: 2011. Mar. 16. 15:26
Last Modified: 2013. Mar. 14. 07:31
URI: http://diploma.bibl.u-szeged.hu/id/eprint/3882

Actions (login required)

View Item View Item