Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods. It explains how to use relational and graph-theoretic methods systematically in computer science. A powerful formal framework of relational algebra is developed with respect to applications to a diverse range of problem areas. Results are first motivated by practical examples, often visualized by both Boolean 0-1-matrices and graphs, and then derived algebraically.
"synopsis" may belong to another edition of this title.
£ 18.44 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSeller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Hardcover. Condition: Very Good. Berlin, Heidelberg, New York, et al: Springer-Verlag, 1993. viii, 301 pp. 24 x 16 cm. Semigloss paper covered boards printed silver with black titling to cover and spine. Light horizontal scratch across rear board. Light bumping to spine ends. Interior clean and unmarked. Binding firm. . Hard Cover. Very Good. Seller Inventory # 626622
Quantity: 1 available