Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Matematická teorie programů
Autor: Manna Zohar
Rok: 1981
NKP-CNB: cnb000136279
OCLC Number: (OCoLC)40079316
OCLC Number: (ocolc)40079316
OKCZID: 111827558
Vydání: Vyd. 1.
Půjčte si tento titul v knihovně přes portál Knihovny.cz
Citace (dle ČSN ISO 690):
MANNA, Zohar. Matematická teorie programů. Překlad Jiří HOŘEJŠ. 1. vyd. Praha: SNTL, 1981. 467 s. Knižnice výpočetní techniky.
Digitální objekty
Anotace
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).
Zdroj anotace: Národní knihovna v Praze
