Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science, 1055)
Publisher: Springer-Verlag
Published: April 1996
Format: Paperback
ISBN-13: 9780387610429
Subjects: Computer software; Congress; Congresses; Development; Distributed processing; Electronic data processing; System design; Science/Mathematics