Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Matematická teorie programů
Autor:		Manna Zohar
Rok vydání:		1981
Identifikátory:		cnb000136279 (OCoLC)40079316

Upravte stávající anotaci nebo vložte anotaci novou.
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).
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)