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:		Relational verification of programs with integer data :monograph
Autor:		Radu Iosif
Rok vydání:		2012
Identifikátory:		9788021446540 cnb002438024 (OCoLC)842343698

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)