Počet záznamů: 1
Matematická teorie programů
Autor Manna, Zohar, 1939-2018 (Autor) Název Matematická teorie programů / Zohar Manna ; přeložil Jiří Hořejš Další autor Hořejš, Jiří, 1933-2001 (Překladatel) Vydání Vydání první Nakl.údaje Praha : Státní nakladatelství technické literatury, 1981 Fyz.popis 467 stran : 95 obrázků Edice Knižnice výpočetní techniky Edice/záhl. Knižnice výpočetní techniky Poznámky 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 Název originálu Mathematical theory of computation Předmět.hesla 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 Forma, žánr učebnice vysokých škol Konspekt 004.4/.6 - Programování. Software MDT 004.42 * 510.57 * 004.052.42 * (075.8) Anotace Učebnice obsahuje teoretické i praktické ověřování správnosti a jiných vlastností programů pro počítače. Země vyd. Česko Jazyk dok. čeština URL Digitalizovaný dokument Vlastník Kladno SVK Druh dok. Digitalizované dokumenty 
Počet záznamů: 1