Krasnyánszki, Kálmán (1976) A programhelyesség bizonyításának módszerei VDL programok vertifikálása. ['eprint_fieldopt_thesis_type_master' not defined] thesis, József Attila Tudományegyetem.
![[thumbnail of 1976_krasnyanszki_kalman_299.pdf]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/text.png "1976_krasnyanszki_kalman_299.pdf")
Text1976_krasnyanszki_kalman_299.pdf - Thesis
Restricted to SZTE designated computers only
Download (14MB)
| Item Type: | Thesis (['eprint_fieldopt_thesis_type_master' not defined]) |
|---|---|
| Subjects: | 01. Natural sciences > 01.02. Computer and information sciences |
| Depositing User: | TTK szerkesztő |
| Date Deposited: | 16 Mar 2011 15:26 |
| Last Modified: | 14 Mar 2013 07:31 |
| URI: | https://diploma.bibl.u-szeged.hu/id/eprint/3882 |
Actions (login required)
- View Item
