Tétel- és programhelyesség bizonyítás
Elmentve itt :
Szerző: | Borbély József |
---|---|
További közreműködők: | Tóth Péter (Témavezető) |
Dokumentumtípus: | Szakdolgozat |
Megjelent: |
1977
|
Tárgyszavak: | |
Online Access: | http://diploma.bibl.u-szeged.hu/3710 |
Hasonló tételek
-
Tétel és programhelyesség bizonyítás
Szerző: Szabó István
Megjelent: (1976) -
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