Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására
Legal Note: A kéziratos disszertációk csak a szerzői jogok maradéktalan tiszteletben tartásával használhatók, másolat kizárólag a szerző vagy jogutódja írásos engedélyével készíttethető.
Saved in:
| Main Author: | |
|---|---|
| Format: | dissertation |
| Language: | Hungarian |
| Published: |
1979
|
| Subjects: | |
| Tags: |
Add Tag
Be the first to tag this record!
|
| LEADER | ctm a2200229 c 4500 | ||
|---|---|---|---|
| 001 | 000372626 | ||
| 005 | 20080903110700.0 | ||
| 008 | 070326s1979 hu frm 000 0 hun d | ||
| 035 | |a 372626 | ||
| 040 | |a ELTE |b hun | ||
| 041 | 0 | |a hun | |
| 100 | 1 | |a Balogh Kálmán | |
| 245 | 1 | 0 | |a Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására |c [készítette:] Balogh Kálmán |
| 260 | |c 1979 | ||
| 300 | |a 71, [5] fol. |c 30 cm | ||
| 502 | |a Bölcsészdoktori értekezés ; Eötvös Loránd Tudományegyetem (Budapest), 1979 | ||
| 540 | |a A kéziratos disszertációk csak a szerzői jogok maradéktalan tiszteletben tartásával használhatók, másolat kizárólag a szerző vagy jogutódja írásos engedélyével készíttethető. | ||
| 598 | |a doktori disszertáció | ||
| 650 | 0 | 7 | |a számítógépes program |x szemantikus tulajdonság bizonyítása |x logikai módszer |x doktori disszertáció |
| 653 | |a doktori disszertáció | ||
| 850 | |a B2 | ||
| 949 | |b 10024500031351 |k MATR |l B2_200 |s f |t TTKNK |x D 289 | ||