Matematická teorie programů

To chci

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). … celý popis

Podrobná bibliografie

Hlavní autor:

Zohar Manna, 1939-

Další autoři:

Jiří Hořejš, 1933-2001

Typ dokumentu:

Knihy

Rozsah:

467 s., rejstř.

Vydáno:

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

Vydání:

1. vyd.

Edice:

Knižnice výpočetní techniky

Témata:

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

Fyzický popis:

467 s., rejstř.