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:		Lectures on formal methods and perfomance analysis : first EEF/Euro summer school on trends in computer science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Autor:
Rok vydání:		2001
Identifikátory:		9783540424796

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Presents the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems. Revised lectures. Softcover.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)