Tools and algorithms for the construction and analysis of systems
Subtitle: second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
By: Tiziana Margaria, Bernhard Steffen, (eds.).
Contributors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard.
Series: Lecture notes in computer science ;; 1055
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 434
Subjects: System design -- Congresses; Computer software -- Development -- Congresses; Electronic data processing -- Distributed processing -- Congress
Notes: Includes bibliographical references and index.