Mathematics of Program Construction
Subtitle: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: July 17, 1998
Language: eng
Format: Paperback
Number of pages: 383
ISBN-13: 9783540645917
Subjects: Mathematical theory of computation; Software engineering; Systems analysis & design; Mathematics; Computer Mathematics; Software Design; Computers; Computers - Languages / Programming; Science/Mathematics; Programming - Software Development; Programming - Systems Analysis & Design; Algebraic Specification; Computers / Programming / General; Formal Verification; Program Construction; Program Semantics; Program Transformation; Computer programming; Computer Science; Congresses
First sentence: A large amount of work on the problem of graph layout has been carried out in recent years, resulting in a number of sophisticated and powerful algorithms.