Tools and algorithms for the construction and analysis of systems
Subtitle: 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings
By: Orna Grumberg, Michael Huth (eds.).
Contributors: Grumberg, Orna.; Huth, Michael, 1962-; ETAPS 2007 (2007 : Braga, Portugal)
Series: Lecture notes in computer science -- 4424
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 738
ISBN-13: 9783540712084
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 2007
Notes: Includes bibliographical references and index.