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:		Systems and Software Verification: Model-Checking Techniques and Tools
Autor:
Rok vydání:		2001
Identifikátory:		9783540415237

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as formal language for behavioral properties, and model-checking algorithms.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)