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:		FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)
Autor:
Rok vydání:		2002
Identifikátory:		9783540439288

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Proceedings of the Intl Symposium of Formal Methods, held July 22-24, 2002 in Copenhagen, Denmark. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields. Softcover.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)