Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: Second International Workshop, Tacas '96, Passau, Germany, March 27-29, 1996, Proceedings (Lecture Notes in Computer Science)
Contributors: Bernhard Steffen (Editor)
Publisher: Springer
Published: April 1996
Language: eng
Format: Paperback
Number of pages: 434
ISBN-13: 9783540610427
Subjects: Mathematical theory of computation; Operating systems & graphical user interfaces (GUIs); Systems analysis & design; Software Design; Logic Design; Congresses; System design; Distributed Computer Systems; Programming - Software Development; Computers; Computers - Languages / Programming; Electronic data processing; Science/Mathematics; Distributed processing; Development; Networking - General; Programming - Systems Analysis & Design; Computer software; Computer Science; Congress