Matematická teorie programů
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:
- Další autoři:
- 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:
- Fyzický popis:
- 467 s., rejstř.
MARC
| LEADER | 00000nam a2200000-a 4500 | ||
|---|---|---|---|
| 001 | 016310001842976 | ||
| 003 | CZ-HbKKV | ||
| 005 | 20240229221129.1 | ||
| 008 | 950927s1981----xr-|||||||||||||||||cze-d | ||
| 015 | |a cnb000136279 |z cnb000880348 | ||
| 020 | |c 30.00 | ||
| 040 | |a HBG001 |b cze | ||
| 080 | |a 004 |2 MRF | ||
| 100 | 1 | |a Manna, Zohar, |d 1939- |7 xx0099971 |4 aut | |
| 245 | 1 | 0 | |a Matematická teorie programů / |c Zohar Manna ; [z angl. orig. přel. J. Hořejš] |
| 250 | |a 1. vyd. | ||
| 260 | |a Praha : |b Státní nakladatelství technické literatury, |c 1981 | ||
| 300 | |a 467 s., rejstř. | ||
| 490 | 1 | |a Knižnice výpočetní techniky | |
| 653 | 2 | |a matematické |a programování |a teorie |a učebnice |a vysokoškolské učebnice | |
| 700 | 1 | |a Hořejš, Jiří, |d 1933-2001 |7 jk01042321 |4 trl | |
| 830 | 0 | |a Knižnice výpočetní techniky | |
| 910 | |a HBG001 |b N14591 | ||
| 996 | |b 317000096158 |c N 14591 |e HBG001 |h N14591 |l Sklad |s A |a 0 |t HBG001.317000096158 | ||
| 997 | |t KN | ||