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:		Verification of programs with complex data structures: dissertation thesis
Autor:		Rogalewicz, Adam
Rok vydání:		2007
Identifikátory:		9788021435483 cnb001784504 (OCoLC)228669393

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