Tétel és programhelyesség bizonyítás
Elmentve itt :
Szerző: | Szabó István |
---|---|
További közreműködők: | nincs megadva (Témavezető) |
Dokumentumtípus: | Szakdolgozat |
Megjelent: |
1976
|
Tárgyszavak: | |
Online Access: | http://diploma.bibl.u-szeged.hu/3877 |
Hasonló tételek
-
Tétel- és programhelyesség bizonyítás
Szerző: Borbély József
Megjelent: (1977) -
A programhelyesség bizonyításának módszerei VDL programok vertifikálása
Szerző: Krasnyánszki Kálmán
Megjelent: (1976) -
Birkhoff tétele és néhány alkalmazása
Szerző: Imreh Balázs
Megjelent: (1968) -
Herbrand tétele
Szerző: Gazdag Zsolt
Megjelent: (2020) -
Pythagoras tétele
Szerző: Fekete Irma