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:		Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... Computer Science and General Issues)
Autor:		Ramakrishnan, C. R.
Rok vydání:		2008
Identifikátory:		9783540787990

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 31 revised full research papers and 7 revised tool demonstration papers presented together with the abstract of an invited paper were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)