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
Language: Czech
Published: Praha : SNTL - Nakladatelství technické literatury, 1981
Edition: 1. vyd.
Series: Knižnice výpočetní techniky
Subjects:
Physical Description: 467 s. : il. ; 25 cm

Cover

Table of contents

Status Description Location Call Number
Status
30 days - deposit  Place a Hold
Description

Location
Depository Call Number 519/MANNA,Z.
Status
30 days
Description

Location
Open access collection Call Number 519/MANNA,Z.

Status Description Location Call Number
30 days - deposit  Place a Hold Depository 519/MANNA,Z.
30 days Open access collection 519/MANNA,Z.