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

Fyzický popis

467, [1] s. : obr. ; 8°

Vydáno

Praha : SNTL, 1981

Vydání

1. vyd.

Edice

Knižnice výpočetní techniky

Témata

matematická teorie

programování

učebnice vysokých škol

Popis jednotky

Obálka a vazba: Josef Týfa
Vysokošk. učebnice pro přírodověd. fak. a fak. matematicko-fyz.
3700 výt.
Pozn.

Bibliografie

Obsahuje bibliografii a věcný rejstřík