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:		Model checking
Autor:		E. M. Clarke, Orna Grumberg, Doron Peled, Daniel Kroening, Helmut Veith
Rok vydání:
Identifikátory:		9780262038836

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é)