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, celý popis

Uloženo v:

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
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

:


Jednotky

Nápověda
Pro vytváření rezervací/objednávek je třeba se přihlásit.
Dostupnost Stav Oddělení Sbírka Umístění Více informací Poznámka Signatura
Absenčně
Načítá se…
Ústřední knihovna
1PNL naučná sklad