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:		Cut-offs and automata in formal verification of infinite-state systems : habilitation thesis
Autor:		Vojnar, Tomáš
Rok vydání:		2007
Identifikátory:		9788021435476 cnb001784503 (OCoLC)228669392

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