Újságpapírból készült csomagolásban, a hátsó borító alatt ceruzával kézírás látható.
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. 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
Online ár:
1 290 Ft