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:		Abstraction, refinement and proof for probabilistic systems
Autor:		Annabelle McIver, Carroll Morgan
Rok vydání:
Identifikátory:		9780387401157

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)