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, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)
Autor:
Rok vydání:		2007
Identifikátory:		9783540697350

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	The book constitutes the refereed proceedings of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007, co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with 3 invited lectures and 3 invited tutorials were carefully reviewed and selected from a total of 85 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)