Matematická teorie programů

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á kapitolaobsahuje řadu cvičení, historické a bibliografické poznámky. Do českého vydání b...

Full description

Saved in:
Bibliographic Details
Main Author Manna, Zohar, 1939-2018 (Author)
Other Authors Hořejš, Jiří, 1933-2001 (Translator)
Format Book
LanguageCzech
Published Praha : SNTL - Nakladatelství technické literatury, 1981
Edition1. vyd.
SeriesKnižnice výpočetní techniky
Subjects
numerická matematika
programování
bloková schémata
učebnice vysokých škol
Physical Description467 s. : il. ; 25 cm

Cover

ikona Nápověda Glossary of Terms
Status More Information Location Call Number
Holdings details from Knihovna UTB
Status 30 days More Information Location Open access collection Call Number 519/MANNA,Z.
Status 30 days - deposit More Information Location Depository Call Number 519/MANNA,Z.

Similar Items