Tools and Algorithms for the Construction of Analysis of Systems
Subtitle: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: April 14, 1999
Language: eng
Format: Paperback
Number of pages: 445
ISBN-13: 9783540657033
Subjects: Algebra; Mathematical theory of computation; Systems analysis & design; Systems Analysis (Computer Science); Development; Algorithms (Computer Programming); Computers; Computers - Languages / Programming; System design; Computer Books: General; Programming - Systems Analysis & Design; Logic Design; Networking - General; Computers / Logic Design; Formal Methods; Real-Time Systems; Software Tols; Systems Analysis; Systems Design; Computer software; Congresses
First sentence: The ACM 50th Anniversary edition of Computing Surveys contains two excellent papers describing the state of the art and research directions in Formal Methods [1] and Concurrency [2].