Tools and algorithms for the construction and analysis of systems
Subtitle: 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
By: C.R. Ramakrishnan, Jakob Rehof (eds.).
Contributors: Ramakrishnan, C. R.; Rehof, Jakob.; ETAPS 2008 (2008 : Budapest, Hungary)
Series: Lecture notes in computer science -- 4963
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 518
ISBN-13: 9783540787990
Subjects: System design -- Congresses; Computer software -- Development -- Congresses
Genres: Congresses.
Other titles: Joint European Conferences on Theory and Practice of Software; European Joint Conferences on Theory and Practice of Software 2008
Notes: Includes bibliographical references and index.