Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: March 18, 1998
Language: eng
Format: Paperback
Number of pages: 457
ISBN-13: 9783540643562
Subjects: Systems analysis & design; Systems Analysis (Computer Science); Logic Design; Software Development; Computers; Computers - Languages / Programming; System design; Computer Books: General; Programming - Software Development; Programming - Systems Analysis & Design; Computers / Logic Design; Formal Verification; Model Checking; Real-Time Systems; Software Tools; Systems Design; Computer software; Congresses; Development