Tools and algorithms for the construction and analysis of systems
Subtitle: 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
By: Hubert Garavel, John Hatcliff (eds.).
Contributors: Garavel, Hubert, 1963-; Hatcliff, John, 1966-; ETAPS 2003 (2003 : Warsaw, Poland)
Series: Lecture notes in computer science -- 2619.
Publisher: Springer
Published: 2003
Place of publication: Berlin; New York
Language: eng
Number of pages: 604
Subjects: System design -- Congresses; Computer software -- Development -- Congresses
Genres: Congresses.
Other titles: TACAS 2003.