Tools and algorithms for the construction and analysis of systems
Subtitle: 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
By: Nicolas Halbwachs, Lenore D. Zuck (eds.).
Contributors: Halbwachs, Nicolas.; Zuck, Lenore D., 1958-; ETAPS 2005 (2005 : Edinburgh, Scotland)
Series: Lecture notes in computer science -- 3440.
Publisher: Springer-Verlag
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 585
Subjects: System design -- Congresses.; Computer software -- Development -- Congresses.
Genres: Congresses.
Other titles: TACAS 2005.; Joint European Conferences on Theory and Practice of Software.; European Conferences on Theory and Practice of Software.; ETAPS 2005.
Notes: Includes bibliographical references and index.

Also issued online.