A programozási módszertan elmélete II.

Programtervező matematikus hallgatók számára/Kézirat

Szerző

Varga László

Budapest

'Varga László: A programozási módszertan elmélete II. ' összes példány

Kiadó:	Tankönyvkiadó Vállalat
Kiadás helye:	Budapest
Kiadás éve:	1982
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	188 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:
Megjegyzés:	10 fekete-fehér ábrával illusztrálva. Kézirat. Tankönyvi szám: J 3-1304. A könyv 533 példányban jelent meg.

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Tartalom

Szekvenciális programok funkcionális tulajdonságainak analízise	3
A programhelyesség alapfogalmai	4
A programhelyesség bizonyításának rendszere	5
Szekvenciális programok verifikációs módszerei	10
Invariáns állítások módszere Floyd-módszer	10
Részcélokra vonatkozó állítások módszere Manna-féle részcél módszer	32
A Hoare-féle deduktív módszer	38
Strukturális indukciós módszer Burstall-módszer	62
A teljes helyesség bizonyításának Hoare-módszere	81
Kézi, automatikus és programmal támogatott módszerek	89
A módszerek összefoglaló értékelése	91
Feladatok	93
Nem szekvenciális programok analízise	99
Párhuzamos programok speciális tulajdonságai	100
Nem determinisztikus programok helyességének bizonyítása	106
Párhuzamos programok bizonyításának Owicki-Gries-féle módszere	121
Feladatok	134
Programszintézis	137
A programszintézis alapelvei	138
Strukturált programok szintézise	140
Absztrakt algoritmusok szintézise	165
Egy gráfbejáró absztrakt algoritmus szintézise	170
Konkrét gráfbejáró algoritmusok származtatása	179
A programszintézis összefoglaló értékelése	182
Feladatok	183
Irodalom	185

Témakörök

Varga László

Varga László műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Varga László könyvek, művek

Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem