Matematická teorie programů

Get it

Práce, která se zabývá matematickou teorií programů, je určena jak studentům, tak i programátorům. Kromě partií věnovaných hlavnímu námětu, přináší i kapitoly o teorii vyčíslitelnosti a matematické logice. Každá kapitola obsahuje řadu cvičení, historické a bibliografické poznámky. Do českého vydání byly zařazeny doplňky, které aktualizují původní text (verifikace programů a programová schémata). … full description

Bibliographic Details

Main Author:

Zohar Manna, 1939-

Other Authors:

Jiří Hořejš, 1933-2001

Document Type:

Books

Document range:

467 s., rejstř.

Published:

Praha : Státní nakladatelství technické literatury, 1981

Edition:

1. vyd.

Series:

Knižnice výpočetní techniky

Subjects:

matematické > programování > teorie > učebnice > vysokoškolské učebnice

Physical Description:

467 s., rejstř.