This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS. The 30 revised full research papers and four revised tool demonstration papers presented together with one invited paper were carefully reviewed and selected from a total of 118 submissions. The papers are organized in topical sections.
Format: Paperback / softback
CONTRIBUTORS: Holger Hermanns
EAN: 9783540330561
COUNTRY: Germany
PAGES:
WEIGHT: 1610 g
HEIGHT: 229 cm
PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
DATE PUBLISHED: 2006-03-15
CITY:
GENRE: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Networking / Hardware
WIDTH: 152 cm
SPINE:
Book Themes:
Network hardware, Algorithms and data structures, Software Engineering, Mathematical theory of computation
