STACS 97
Subtitle: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings (Lecture Notes in Computer Science)
Contributors: Rüdiger Reischuk (Editor); Michel Morvan (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 11, 1997
Language: eng
Format: Paperback
Number of pages: 614
ISBN-13: 9783540626169
Subjects: Mathematical theory of computation; Congresses; Computer Science (General); Computers; Computers - General Information; Computer Books: General; Programming - General; Programming Languages - General; Algorithmen; Algorithmen-Komplexität; Computers / Computer Science; Formale Sprachen; Parallelität; Programmsemantik; algorithms; computational complexity; formal languages; parallelism; Computer Science; Computer Bks - General Information
First sentence: The exploding size and conceptual complexity of programs or, even more strikingly, distributed systems have led to the development of numerous descriptions methods typically aiming at rigorous structured and/or focussed system design.