Matematická teorie programů

To chci

Učebnice obsahuje teoretické i praktické ověřování správnosti a jiných vlastností programů pro počítače.

Podrobná bibliografie

Hlavní autor

Zohar Manna, 1939-2018

Další autoři

Jiří Hořejš, 1933-2001

Typ dokumentu

Knihy

Fyzický popis

467 stran : 95 obrázků

Vydáno

Praha : Státní nakladatelství technické literatury, 1981

Vydání

Vydání první

Edice

Knižnice výpočetní techniky

Témata

Informatika > 68

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

učebnice vysokých škol

Popis jednotky

15899

Uživatelské určení

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

Bibliografie

Obsahuje bibliografii a rejstřík