Number of the records: 1
Matematická teorie programů
Author Manna, Zohar, 1939-2018 (Author) Title Matematická teorie programů / Zohar Manna ; přeložil Jiří Hořejš Other author Hořejš, Jiří, 1933-2001 (Translator) Issue Vydání první Issue stat. Praha : Státní nakladatelství technické literatury, 1981 Phys.des. 467 stran : 95 obrázků Edition Knižnice výpočetní techniky Series/heading Knižnice výpočetní techniky Note 15899. DOKUMENT JE K DISPOZICI POUZE V ELEKTRONICKÉ PODOBĚ! Obsahuje bibliografii a rejstřík 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 Translation of Mathematical theory of computation Subj. Headings 7 Informatika - 68 * 7 Metodologie a aplikace výpočetních procesů - 68U * matematika * počítačové programy * teorie vyčíslitelnosti * formální verifikace * programovací jazyky * učební pomůcky Form, Genre učebnice vysokých škol Conspect 004.4/.6 - Programování. Software UDC 004.42 * 510.57 * 004.052.42 * (075.8) Annotation Učebnice obsahuje teoretické i praktické ověřování správnosti a jiných vlastností programů pro počítače. Country Czech Republic Language Czech URL Digitalizovaný dokument Owner Kladno SVK Doc. Kind Digitalizované dokumenty 
Number of the records: 1