Krasnyánszki, Kálmán (1976) A programhelyesség bizonyításának módszerei VDL programok vertifikálása. Masters, József Attila Tudományegyetem.
PDF
1976_krasnyanszki_kalman_299.pdf Hozzáférés joga: SZTE designated computers only Download (14MB) |
Institution
József Attila Tudományegyetem
Faculty
Faculty of Science and Mathematics
Discipline
Specialization
Supervisor(s)
Supervisor
Supervisor scientific name label
Email
EHA
Siklósi, István
UNSPECIFIED
UNSPECIFIED
UNSPECIFIED
Tóth, Péter
UNSPECIFIED
UNSPECIFIED
UNSPECIFIED
Item Type: | Thesis (Masters) |
---|---|
Subjects: | 01. Natural sciences > 01.02. Computer and information sciences |
Depositing User: | TTK szerkesztő |
Date Deposited: | 2011. Mar. 16. 15:26 |
Last Modified: | 2013. Mar. 14. 07:31 |
URI: | https://diploma.bibl.u-szeged.hu/id/eprint/3882 |
Actions (login required)
View Item |