Tools and algorithms for the construction and analysis of systems
Subtitle: Second International Workshop, TACAS '96, Passau, Germany, March 1996 : proceedings
By: Tiziana Margaria, Bernhard Steffen, (eds.)..
Contributors: Margaria, Tiziana.; Steffen, Bernhard.
Series: Lecture notes in computer science -- 1055
Publisher: Springer
Published: 1996
Place of publication: Berlin; London
Language: eng
Number of pages: 434
Subjects: System design -- Congresses.; Computer software -- Development -- Congresses.; Electronic data processing -- Distributed processing -- Congress.
Other titles: TACAS '96.
Notes: Also known as TACAS '96.

Includes bibliographical references and index.