Tools and algorithms for the construction and analysis of systems
Subtitle: Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
By: Ed Brinksma (ed.).
Contributors: Brinksma, Ed.
Series: Lecture notes in computer science ;; 1217
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 431
Subjects: System design -- Congresses; Computer software -- Development -- Congresses
Notes: Includes bibliographical references and index.