Fülszöveg
A hatvanas évek második felében ismerték fel a kutatók, hogy a program adott specifikáció szerinti helyessége tételszerűen megfogalmazható és bebizonyítható. E felismerés alapján jött létre a programozási módszertan, amely az elmúlt tíz év folyamán a számítástudomány egyik legfontosabb fejezetévé vált. A kutatók egyre nagyobb aktivitással dolgoznak a programozási módszertan elméleti megalapozásán. A szerző ennek az elméletnek legfontosabb tételeit és módszereit kívánja eljuttatni az olvasóhoz. A könyv anyag három részből áll. Az elsőben a szerző az adatok programok szerkezetének, szerkezeti bonyolultságának elemzésével foglalkozik. A másodikban a programok logikai tulajdonságainak analizálására szolgáló legfontosabb módszereket ismerteti, külön tárgyalva azokat szekvenciális és párhuzamos programok esetén. A harmadik részben a programok szintézisével foglalkozik, azaz olyan módszereket ismertet, amelyekkel a program szövege automatikusan előállítható a program specifikációjából.
Szerző
Varga László
Szerkesztő
Dr. Horváth Ferenc
Akadémiai Kiadó (Budapest) , 1981
Vászon , 303 oldal
Szép állapotú, az előzéklapon azonban apró névbejegyzés látható.
Nyelv:
Magyar
Méret:
24 cm x 17 cm
ISBN:
963-05-2682-4
Megjegyzés:
Fekete-fehér ábrákkal illusztrálva.
Jelenlegi ára: 2 000 Ft
Az aukció vége: 2021-06-21 03:58 .
0 megjegyzés:
Megjegyzés küldése