Matematická teorie programů
Učebnice obsahuje teoretické i praktické ověřování správnosti a jiných vlastností programů pro počítače.
Saved in:
Bibliographic Details
- Main Author:
- Other Authors:
- Document Type:
- Books
- Physical Description:
- 467 stran : 95 obrázků
- Published:
-
Praha :
Státní nakladatelství technické literatury,
1981
- Edition:
- Vydání první
- Series:
- Knižnice výpočetní techniky
- Subjects:
- Item Description:
- 15899
- Audience:
- Určeno posluchačům informatiky na vysokých školách, programátorům, výzkumným pracovníkům i ostatním zájemcům o aplikace matematických metod ve výpočetní technice
- Bibliography:
- Obsahuje bibliografii a rejstřík
:
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 990008453900106986 | ||
| 003 | CZ PrSKC | ||
| 005 | 20221130182536.0 | ||
| 008 | 940810s1981 xr frb 001 0 cze d | ||
| 015 | |a cnb000136279 |z cnb000880348 | ||
| 035 | |a (OCoLC)40079316 | ||
| 040 | |a ABD009 |b cze |c ABD009 |d ABD009 |d HKD003 |d HKD001 |d ABD001 |d ABB005 |e rda | ||
| 041 | 1 | |a cze |h eng | |
| 072 | 7 | |a 004.4/.6 |x Programování. Software |2 Konspekt |9 23 | |
| 080 | |a 004.42 |2 MRF | ||
| 080 | |a 510.57 |2 MRF | ||
| 080 | |a 004.052.42 |2 MRF | ||
| 080 | |a (075.8) |2 MRF | ||
| 100 | 1 | |a Manna, Zohar, |d 1939-2018 |7 xx0256965 |4 aut | |
| 245 | 1 | 0 | |a Matematická teorie programů / |c Zohar Manna ; přeložil Jiří Hořejš |
| 250 | |a Vydání první | ||
| 264 | 1 | |a Praha : |b Státní nakladatelství technické literatury, |c 1981 | |
| 300 | |a 467 stran : |b 95 obrázků | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a bez média |b n |2 rdamedia | ||
| 338 | |a svazek |b nc |2 rdacarrier | ||
| 490 | 1 | |a Knižnice výpočetní techniky | |
| 500 | |a 15899 | ||
| 504 | |a Obsahuje bibliografii a rejstřík | ||
| 520 | 9 | |a Učebnice obsahuje teoretické i praktické ověřování správnosti a jiných vlastností programů pro počítače. | |
| 521 | 8 | |a Určeno posluchačům informatiky na vysokých školách, programátorům, výzkumným pracovníkům i ostatním zájemcům o aplikace matematických metod ve výpočetní technice | |
| 650 | 0 | 4 | |a Informatika |x 68 |
| 650 | 0 | 4 | |a Metodologie a aplikace výpočetních procesů |x 68U |
| 650 | 0 | 7 | |a matematika |7 ph117231 |2 czenas |
| 650 | 0 | 7 | |a počítačové programy |7 ph124516 |2 czenas |
| 650 | 0 | 7 | |a teorie vyčíslitelnosti |7 ph678150 |2 czenas |
| 650 | 0 | 7 | |a formální verifikace |7 ph755479 |2 czenas |
| 650 | 0 | 7 | |a programovací jazyky |7 ph115890 |2 czenas |
| 650 | 0 | 7 | |a učební pomůcky |7 ph126975 |2 czenas |
| 655 | 7 | |a učebnice vysokých škol |7 fd133772 |2 czenas | |
| 700 | 1 | |a Hořejš, Jiří, |d 1933-2001 |7 jk01042321 |4 trl | |
| 765 | 0 | |t Mathematical theory of computation |9 Česky | |
| 830 | 0 | |a Knižnice výpočetní techniky | |
| 900 | |a ABB005 |b 17 | ||
| 996 | |e ABB005 |w 990008453900106986 |s NZ | ||
| 996 | |e ABB029 |c B15506 |w 000774673 |s NZ | ||
| 996 | |e ABB033 |c N 25531 |w 000082937 |s NZ | ||
| 996 | |e ABB038 |c K 12704,K 12704 a |w 000537264 |s NZ | ||
| 996 | |e ABB040 |c 24107,24073,24074,24075 |w 000253523 |s NZ | ||
| 996 | |e ABB050 |c C.1933 |w 000462395 |s NZ | ||
| 996 | |e ABB053 |c F3470 |w 000552150 |s NZ | ||
| 996 | |e ABD001 |w 990008453900106986 |s NZ | ||
| 996 | |e ABD009 |w 990008453900106986 |s NZ | ||
| 996 | |e ABD010 |w 990008453900106986 |s NZ | ||
| 996 | |e ABE311 |c B623 |w 015940000242187 |s NZ | ||
| 996 | |e BOB012 |c III-2149 |w 000156279 |s NZ | ||
| 996 | |e BOD004 |w 000364532 |s NZ | ||
| 996 | |e BOD018 |w 000154391 |s NZ | ||
| 996 | |e DCG302 |w 002000001175103 |s NZ | ||
| 996 | |e DCG503 |w 016430000208279 |s NZ | ||
| 996 | |e JHB502 |c M-34 |w 000444791 |s NZ | ||
| 996 | |e LID001 |c A 29441 |w kpm014672 |s NZ | ||
| 996 | |e OPD001 |w 016470000488443 |s NZ | ||
| 996 | |e OSD002 |c 168791 |w kpw0152861 |s NZ | ||
| 996 | |e ZLD002 |w 8486 |s NZ | ||
| 911 | |a ABA001 |d zdigitalizováno |u http://krameriusndk.nkp.cz/search/handle/uuid:486e6ef0-2d09-11e4-8e0d-005056827e51 | ||
| 911 | |a BOA001 |d zdigitalizováno |u http://krameriusndk.mzk.cz/search/handle/uuid:486e6ef0-2d09-11e4-8e0d-005056827e51 | ||
| 998 | |a http://aleph.nkp.cz/F/?func=direct&doc_number=000391032&local_base=SKC | ||