Matematická teorie programů

To chci

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, které aktualizují původní text (verifikace programů a programová schémata). … celý popis

Podrobná bibliografie

Hlavní autor

Zohar Manna, 1939-2018

Další autoři

Jiří Hořejš, 1933-2001

Typ dokumentu

Knihy

Fyzický popis

467 s. : il.

Vydáno

Praha : SNTL - Nakladatelství technické literatury, 1981

Vydání

1. vyd.

Edice

Knižnice výpočetní techniky

Témata

počítačové programy

teorie vyčíslitelnosti

formální verifikace

matematické teorie

učebnice vysokých škol

computer programs

computability theory

formal verification

textbooks (higher)

Popis jednotky

Přeloženo z angličtiny

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 věcný rejstřík